diff --git a/push.sh b/push.sh
deleted file mode 100644
index 23c6bf17c..000000000
--- a/push.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-git fetch --all
-git push origin --all
-git push mirror --mirror