Skip to content

Could the chore "release" PRs be updated to consistently print the version in the title? #5400

Discussion options

You must be logged in to vote

It is manually done right now so hard to keep it consistent. But the git tags should be the give away on the version number

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@Nantris
Comment options

Answer selected by nperez0111
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants