From e7c5b99917b8c7f99c015cfe2690930865646d49 Mon Sep 17 00:00:00 2001
From: Mirco Nasuti <mirco.nasuti@chuv.ch>
Date: Wed, 27 Jul 2016 15:29:58 +0200
Subject: [PATCH] add captain_push script

---
 captain_push.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 captain_push.sh

diff --git a/captain_push.sh b/captain_push.sh
new file mode 100644
index 000000000..5ab9a9729
--- /dev/null
+++ b/captain_push.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+
+export WORKSPACE=$(pwd)
+captain push --branch-tags=false --commit-tags=true
\ No newline at end of file
-- 
GitLab