2019-05-20 14:16:53 +02:00
|
|
|
#######################################################################
|
|
|
|
# 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
|
2019-06-02 19:50:22 +02:00
|
|
|
git add .
|
|
|
|
git commit -a -m "website update" --quiet
|
2019-05-20 14:16:53 +02:00
|
|
|
git checkout master --quiet
|
2019-06-16 21:42:40 +02:00
|
|
|
echo "• changed branch to master"
|
2019-05-20 14:16:53 +02:00
|
|
|
# import everything from premaster
|
2019-06-01 20:40:49 +02:00
|
|
|
git merge premaster --quiet
|
2019-05-20 14:16:53 +02:00
|
|
|
# and send it to git
|
2019-06-01 20:40:49 +02:00
|
|
|
git push --quiet
|
2019-06-16 21:42:40 +02:00
|
|
|
echo "• pushed changes to master"
|
2019-05-20 14:16:53 +02:00
|
|
|
# return to premaster
|
|
|
|
git checkout premaster --quiet
|
2019-06-16 21:42:40 +02:00
|
|
|
echo "• changed branch back to premaster"
|
2019-06-01 20:40:49 +02:00
|
|
|
git status --short
|
|
|
|
|
2019-05-20 14:16:53 +02:00
|
|
|
|
|
|
|
# and get stashed changes back
|
|
|
|
# git stash apply --quiet
|
|
|
|
|