From 01da98c7170a6ea8b982086aae079e3cf1b88588 Mon Sep 17 00:00:00 2001
From: Michael Ellerman <mpe@ellerman.id.au>
Date: Fri, 12 Jun 2015 08:23:34 +1000
Subject: [PATCH] do_push: create it

---
 do_push | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 do_push

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 $?
-- 
2.39.5