Bash scripts helping with updates

2018-10-25 19:35:09 +02:00
parent d95b487530
commit 166dd0e5cd
2 changed files with 23 additions and 0 deletions
--- a/merge_and_push.sh
+++ b/merge_and_push.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# Merge develop into master and push both branches; checkout to develop at the end.
+
+git checkout master;
+git merge develop;
+git checkout develop;
+git push origin master develop;