Skip to content

feat(ci): add tag creation to our release script #3029

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
t00ts merged 2 commits into from
Sep 26, 2025
Merged

feat(ci): add tag creation to our release script #3029

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
83b8c74
feat(ci): add tag creation to release script
t00ts Sep 26, 2025
912c08f
feat(ci): try to create pr automatically if `gh` cli is available
t00ts Sep 26, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
57 changes: 55 additions & 2 deletions scripts/release.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -66,11 +66,11 @@ popd
# Create and checkout new release branch
git checkout -b release/v${VERSION}

# Create git commit and tag
# Create git commit
git add Cargo.toml Cargo.lock **/Cargo.toml **/Cargo.lock CHANGELOG.md
git commit -m "chore: bump version to ${VERSION}"

# Quik recap of what was done
# Quick recap of what was done
echo -e "\nChanges made:"
echo "- Updated workspace version to ${VERSION}"
echo "- Updated CHANGELOG.md with version ${VERSION} and date ${CURRENT_DATE}"
Expand All @@ -89,3 +89,56 @@ fi

# Push changes
git push --set-upstream origin release/v${VERSION}

# Try to create PR automatically if gh CLI is available
if command -v gh &> /dev/null; then
echo -e "\nCreating PR automatically with gh CLI..."
if PR_URL=$(gh pr create --title "chore: bump version to ${VERSION}" --body "Automated release PR for version ${VERSION}" --base main --head release/v${VERSION} 2>/dev/null); then
echo "PR created: $PR_URL"
echo -e "\nPlease review and merge the PR, then come back here and press Enter to continue..."
else
echo "Failed to create PR with gh CLI. Falling back to manual instructions..."
echo -e "\n"
echo "=========================================="
echo "Next steps:"
echo "1. Create a PR for branch 'release/v${VERSION}'"
echo "2. Review and merge the PR to 'main'"
echo "3. Come back here and press Enter to continue"
echo "=========================================="
echo -e "\nPress Enter once the PR has been merged to continue..."
fi
else
echo -e "\n"
echo "=========================================="
echo "Next steps:"
echo "1. Create a PR for branch 'release/v${VERSION}'"
echo "2. Review and merge the PR to 'main'"
echo "3. Come back here and press Enter to continue"
echo "=========================================="
echo -e "\nPress Enter once the PR has been merged to continue..."
fi
read -r

# Switch to main and pull latest
git checkout main
git pull origin main

# Confirmation before creating tag
echo -e "\nReady to create and push tag 'v${VERSION}'"
echo "This will trigger the Release and Docker workflows."
echo -e "\nCreate and push tag 'v${VERSION}'? (Y/n)"
read -r answer
if [[ "$answer" == "n" ]] || [[ "$answer" == "N" ]]; then
echo "Aborting tag creation."
exit 1
fi

# Create and push tag
echo "Creating and pushing tag v${VERSION}..."
git tag -a v${VERSION} -m "Pathfinder v${VERSION}"
git push origin v${VERSION}

# Done
echo -e "\n✅ Tag 'v${VERSION}' has been pushed!"
echo "The Release and Docker workflows should now be triggered."
echo "You can monitor their progress in the GitHub Actions tab."
Loading