CheckPush: older integration branches should be subset of newer ones

diff --git a/CheckPush b/CheckPush
new file mode 100755 (executable)
index 0000000..9280aae
--- /dev/null
+++ b/CheckPush
@@ -0,0 +1,32 @@
+#!/bin/sh
+
+for range in $(
+       prev_branch=
+       {
+               git for-each-ref --format='%(refname)' refs/heads/maint-* |
+               sed -e 's|^refs/heads/||'
+               cat <<-EOF
+               maint
+               master
+               next
+               EOF
+       } |
+       while read branch
+       do
+               if test -n "$prev_branch"
+               then
+                       echo "$branch..$prev_branch"
+               fi
+               prev_branch=$branch
+       done
+) pu..jch
+do
+       lg=$(git log --oneline "$range")
+       if test -n "$lg"
+       then
+               echo "*** $range ***"
+               echo "$lg"
+       fi
+done
+
+git diff --stat next jch