From c5761f5ed87309b593fa2f2eb5cbfacfd1fac0bf Mon Sep 17 00:00:00 2001
From: Brad Fitzpatrick <brad@danga.com>
Date: Fri, 23 Aug 2013 00:13:09 -0500
Subject: [PATCH] Add dev/push script.

Change-Id: I84f12d8df8d65a3d7a5d3287266849f250283502
---
 dev/push | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 dev/push

diff --git a/dev/push b/dev/push
new file mode 100755
index 000000000..45f00a32e
--- /dev/null
+++ b/dev/push
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+set -e
+
+git push origin master
+git push github master
+curl http://camlistore.org/mailnow