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 #
|
|
|
|
#######################################################################
|
|
|
|
|
2019-06-23 21:35:17 +02:00
|
|
|
bash git_premaster.sh "website update" FALSE
|
2019-05-20 14:16:53 +02:00
|
|
|
|
|
|
|
echo
|
2019-06-23 21:35:17 +02:00
|
|
|
echo "••••••••••••••••••••••••••••••"
|
|
|
|
echo "• Uploading to master branch •"
|
|
|
|
echo "••••••••••••••••••••••••••••••"
|
2019-05-20 14:16:53 +02:00
|
|
|
git checkout master
|
|
|
|
git merge premaster
|
|
|
|
git push --quiet
|
|
|
|
git checkout premaster
|