davtelepot/merge_and_push.sh
2019-07-17 11:56:00 +02:00

11 lines
251 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;
git push bitbucket master develop;
git push github master;