Update .githint.json

- update githint.json to include different options
andela · Jul 14, 2019 · 090d70e · 090d70e
1 parent a5315ee
commit 090d70e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.githint.json b/.githint.json
@@ -1,6 +1,7 @@
 {
   "options": {
-      "detectPull": true
+        "detectPull": "commit.author.login.toLowerCase() !== 'greenkeeper[bot]'",
+        "skip": "commit.author.login.toLowerCase() === 'greenkeeper[bot]'"
   },
   "checks": {
       "Branch Name": {