init

diff --git a/bin/master-UPDATE b/bin/master-UPDATE
new file mode 100755 (executable)
index 0000000..5c484a6
--- /dev/null
+++ b/bin/master-UPDATE
@@ -0,0 +1,9 @@
+#! /bin/bash
+set -ex
+git pull origin
+git checkout master
+[ "`git status|head -n1`" = "# On branch master" ]
+git fetch gdb
+git merge gdb/master
+git push origin master
+echo OK