davtelepot/merge_and_push.sh
2018-10-25 19:35:09 +02:00

9 lines
192 B
Bash

#!/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;