2019-05-20 14:16:53 +02:00
|
|
|
#######################################################################
|
|
|
|
# To push new commits to the premaster branch, run: #
|
|
|
|
# bash git_premaster.sh "commit message" #
|
2019-11-29 19:43:23 +01:00
|
|
|
# This creates auto version numbering in DESCRIPTION and NEWS.md. #
|
2019-05-20 14:16:53 +02:00
|
|
|
# #
|
|
|
|
# After successful CRAN checks, merge it to the master branch with: #
|
|
|
|
# bash git_merge.sh #
|
2019-11-29 19:43:23 +01:00
|
|
|
# #
|
|
|
|
# To prerelease a new version number, run: #
|
|
|
|
# bash git_premaster.sh "v0.x.x" FALSE "0.x.x" #
|
2019-05-20 14:16:53 +02:00
|
|
|
#######################################################################
|
|
|
|
|
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
|