Removed push.sh from the repo. I put it there by accident.

2026-01-14 22:47:58 +01:00 · 2011-09-01 18:57:34 +03:00 · 2011-09-01 18:57:34 +03:00 · 9d6c9c63cd
commit 9d6c9c63cd
parent caa20fb10a
1 changed files with 0 additions and 4 deletions
--- a/push.sh
+++ b/push.sh
@ -1,4 +0,0 @@
-#!/bin/bash
-git fetch --all
-git push origin --all
-git push mirror --mirror