Skip to content

[release] Remove the need for a tag in make push-tags #879

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

Jump to bottom
Open
evan-bradley opened this issue Mar 18, 2025 · 0 comments
Open

[release] Remove the need for a tag in make push-tags #879

evan-bradley opened this issue Mar 18, 2025 · 0 comments
Labels
enhancement New feature or request release-retro stale Issue has not had recent activity or appears to be solved. Stale issues will be automatically closed

Comments

@evan-bradley
Copy link
Contributor

In the releases doc, the command for pushing the tags is:

make push-tags TAG=v0.85.0

Core and contrib don't require setting the version, we should remove it here since it can be inferred and has the potential to be error-prone.
@evan-bradley evan-bradley added enhancement New feature or request release-retro labels Mar 18, 2025
@github-actions github-actions bot added the stale Issue has not had recent activity or appears to be solved. Stale issues will be automatically closed label May 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request release-retro stale Issue has not had recent activity or appears to be solved. Stale issues will be automatically closed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@evan-bradley