Add very simple PR manager

Author: neilmcgovern

tools/checker

@@ -0,0 +1,10 @@
+#!/usr/bin/bash
+# Very simple tool to help manage floods of PRs
+for I in `gh pr list|cut -f 1`; do
+    gh pr diff $I
+    read -p"Accept $I? " foo
+    if [[ "$foo" == "y" ]];
+        then gh pr merge -m $I
+    fi
+done
+