Obsoleted by master-UPDATE.

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