From: Michael Ellerman <mpe@ellerman.id.au>
Date: Thu, 11 Jun 2015 22:23:34 +0000 (+1000)
Subject: do_push: create it
X-Git-Url: https://git.ozlabs.org/?a=commitdiff_plain;h=01da98c7170a6ea8b982086aae079e3cf1b88588;p=next-scripts

do_push: create it
---

diff --git a/do_push b/do_push
new file mode 100755
index 0000000..b520cfd
--- /dev/null
+++ b/do_push
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+. "$(dirname $0)/common.sh"
+
+git push -f "$build_host":"$build_dir" master:refs/heads/next
+
+exit $?