From d13faed3fff1bef13e07db99ae5802a247cc2b56 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 31 Oct 2009 05:31:49 -0400
Subject: Added tools/push script

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

(limited to 'tools/push')

diff --git a/tools/push b/tools/push
new file mode 100755
index 00000000..7b149e8f
--- /dev/null
+++ b/tools/push
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+git checkout master
+git merge --no-ff next
+git checkout next
+git rebase master
+git push
-- 
cgit v1.2.3