Skip to content
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.

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

Update the release PR if urgent PRs have been merged to the release branch #84

Open
systay opened this issue Mar 6, 2024 · 2 comments

Comments

@systay
Copy link
Contributor

systay commented Mar 6, 2024

No description provided.

@frouioui
Copy link
Member

@systay, what do you mean by urgent PRs?

@systay
Copy link
Contributor Author

systay commented May 22, 2024

This happened during the last release - we had created the release PR, and then we noticed that we needed to get more PRs into the release. The solution is pretty easy today - uncheck the step in the release issue, remove the PR, and recreate the release PR. I was just thinking it would be nice to have all this as a step in the releaser and not have to be a hack like today

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

No branches or pull requests

2 participants