Update github.json

cyrillef · web-flow · commit 7144a5c99295 · 2018-03-06T19:18:52.000-08:00
diff --git a/tools/github.json b/tools/github.json
@@ -3905,4 +3905,4 @@
 			"pull": true
 		}
 	}
-]
+]
