Skip to content

Consider auto-closing release PRs if there is no activity for more than 6 hours #5443

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

Open
mcmire opened this issue Mar 6, 2025 · 0 comments

Comments

@mcmire
Copy link
Contributor

mcmire commented Mar 6, 2025

Sometimes a developer will open a release PR at the end of the day and leave it open overnight. This may make sense for them, but for developers in different time zones this can create a problem if they also want to create a release PR.

We should consider whether it makes sense to automatically close a release PR and delete the branch after 6 hours of inactivity.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant