Git flow develop publish script

gfpush.sh

#!/bin/bash

echo "Merging the develop branch with the master branch and pushing to the remote repository..."

git checkout master
git fetch origin master
git merge --no-ff develop
git push origin master
git checkout develop
git fetch origin develop
git merge --no-ff master
git push origin develop

echo "Merge complete. Remote, master & develop are now all the same."