#######################################################################
# To push new commits to the premaster branch, run:                   #
# bash git_premaster.sh "commit message"                              #
#                                                                     #
# After successful CRAN checks, merge it to the master branch with:   #
# bash git_merge.sh                                                   #
#######################################################################

# stash current changes
# git stash --quiet

# go to master
git checkout master --quiet
echo "changed branch to master"
# import everything from premaster
git merge premaster
# and send it to git
git push
# echo "pushed changes to master"
# return to premaster
git checkout premaster --quiet
echo "changed branch back to premaster"

# and get stashed changes back
# git stash apply --quiet