diff --git a/scripts/pushtogit.sh b/scripts/pushtogit.sh
deleted file mode 100755
index 01da2c077..000000000
--- a/scripts/pushtogit.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-
-hg bookmark -f master;
-hg push -f github