You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

40 lines
1.1 KiB

# Copyright (C) 2019 AlephObjects, Inc.
# The bash script in this page is free software: you can
# redistribute it and/or modify it under the terms of the GNU Affero
# General Public License (GNU AGPL) as published by the Free Software
# Foundation, either version 3 of the License, or (at your option)
# any later version. The code is distributed WITHOUT ANY WARRANTY;
# without even the implied warranty of MERCHANTABILITY or FITNESS
# FOR A PARTICULAR PURPOSE. See the GNU AGPL for more details.
# A helper script file to standardize the procedure of pushing
# changes to the repo: Tags, pushes and increments the version.
# Tags and pushes the working directory to the repo
git tag v$VERSION
git push origin v$VERSION
git push
# Ask the user if they want to increment the version number
# (typically, the answer should be yes)
echo "Increment version to `./ --increment`?"
select yn in "Yes" "No"; do
case $yn in
./ --increment --commit