From 0bab6e867441c4d9d62b436e0aac48b7dc0096a3 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 31 Jan 2009 06:00:31 -0400
Subject: Added a tools/ subdirectory, with various maintainer related files.

---
 tools/push | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 tools/push

(limited to 'tools/push')

diff --git a/tools/push b/tools/push
new file mode 100755
index 00000000..5bb95fb6
--- /dev/null
+++ b/tools/push
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+git push origin
+git push --tags origin
+
+git push mirror
+git push --tags mirror
+
+git remote update
+
+github network fetch
-- 
cgit v1.2.3