5# Please use this script to cut new releases. It will generate a new tag name
6# based on the current date, update the latest releases file, and push the tag
8# Fail if we are not on trunk
9BRANCH=$(git branch --show-current)
10if [ "${BRANCH}" != "master" ]; then
11 echo "Please checkout master branch";
18NEW_STABLE_TAG="psc-${LATEST_PURS}"
20# Create the first tag for the compiler if it doesn't exist
21if git rev-parse "${NEW_STABLE_TAG}" >/dev/null 2>&1; then
22 echo "Stable tag '${NEW_STABLE_TAG}' already exists, skipping";
24 echo "Creating and pushing new tag '${NEW_STABLE_TAG}'.."
25 git tag "${NEW_STABLE_TAG}";
26 git push origin "${NEW_STABLE_TAG}";
29NEW_TAG="psc-${LATEST_PURS}-`date +'%Y%m%d'`"
31# Fail if the new tag already exists
32# Note: exit status of the command is the conditional
33if git rev-parse "${NEW_TAG}" >/dev/null 2>&1; then
34 echo "Tag '${NEW_TAG}' already exists!";
38echo "Creating and pushing new tag '${NEW_TAG}'.."
40./update-latest-compatible-sets.sh "${NEW_TAG}"
42git add latest-compatible-sets.json
44git commit -m "Update to the latest tag"
50git push origin "${NEW_TAG}"
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list