Skip to content

Fix merge commit pattern in version stamp workflow#1913

Merged
revarbat merged 1 commit intomasterfrom
revarbat_dev
Feb 16, 2026
Merged

Fix merge commit pattern in version stamp workflow#1913
revarbat merged 1 commit intomasterfrom
revarbat_dev

Conversation

@revarbat
Copy link
Collaborator

Summary

  • Fix grep pattern: GitHub uses "Merge pull request #" not "Merged pull request #"
  • Confirmed by manual workflow trigger that showed the latest commit as Merge pull request #1912 from BelfrySCAD/revarbat_dev but failed to match

Test plan

  • Merge this PR, then trigger version_stamp.yml manually via workflow_dispatch
  • Verify the version is bumped, tagged, and pushed

🤖 Generated with Claude Code

GitHub uses "Merge pull request #" not "Merged pull request #".

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@revarbat revarbat merged commit 9ebe0ab into master Feb 16, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant