only update version tag if not already up to date

This commit is contained in:
nanos 2024-12-05 08:17:16 +00:00
parent 7b942d530d
commit 45ed33d644

View file

@ -18,12 +18,14 @@ jobs:
git config user.email bot@thms.uk
VERSION=${{ github.ref_name }}
VERSION="${VERSION:1}"
sed -i -E 's/VERSION = "[0-9]+.[0-9]+.[0-9]+"/VERSION = "'$VERSION'"/' find_posts.py
git add find_posts.py
git commit -m "[bot] Bump version to $VERSION"
git push origin HEAD:main > /dev/null 2>&1
git tag -f "v$VERSION"
git push -f origin "v$VERSION" > /dev/null 2>&1
if ! grep "VERSION = \"$VERSION\"" "find_posts.py"; then
sed -i -E 's/VERSION = "[0-9]+.[0-9]+.[0-9]+"/VERSION = "'$VERSION'"/' find_posts.py
git add find_posts.py
git commit -m "[bot] Bump version to $VERSION"
git push origin HEAD:main > /dev/null 2>&1
git tag -f "v$VERSION"
git push -f origin "v$VERSION" > /dev/null 2>&1
fi
docker:
runs-on: ubuntu-latest