From caa20fb10afe44e781a621f82e4c40e68b378bea Mon Sep 17 00:00:00 2001
From: Mika Suomalainen <mika.henrik.mainio@hotmail.com>
Date: Thu, 1 Sep 2011 18:56:27 +0300
Subject: [PATCH] Added push.sh to gitignore

---
 .gitignore | 1 +
 push.sh    | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100644 push.sh

diff --git a/.gitignore b/.gitignore
index 0eb42244e..fa633cca2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ docs/plugins
 *.swo
 *~
 *.mo
+push.sh
diff --git a/push.sh b/push.sh
new file mode 100644
index 000000000..23c6bf17c
--- /dev/null
+++ b/push.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+git fetch --all
+git push origin --all
+git push mirror --mirror