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

Introduce Merge Queue #87

Open
frisitano opened this issue Dec 17, 2024 · 0 comments
Open

Introduce Merge Queue #87

frisitano opened this issue Dec 17, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@frisitano
Copy link
Collaborator

Describe the feature

We should consider introducing a merge queue and having sync workflows run when PR's are added to the merge queue such that we can assert that sync is working prior to merging into the target. We already have the sync workflows run upon merge so for now this should be fine but as we converge on a production release and PR velocity increase it may be wise to be defensive and introduce a queue.

Additional context

No response

@frisitano frisitano added the enhancement New feature or request label Dec 17, 2024
@frisitano frisitano added this to Reth Dec 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: No status
Development

No branches or pull requests

1 participant