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

Close stale pull requests #11678

Merged
merged 1 commit into from
Oct 14, 2024
Merged

Conversation

derrabus
Copy link
Member

On the DBAL repository, we let a bot close stale pull requests. This has worked very well for us because it reminds authors and reviewers that a PR might need attention. Closed stale PRs can be taken over by another contributor who might want to finish the work. Contributors can browse the list of open PRs to see what's actually being worked on.

Merging this PR will make the bot bump A LOT of PRs that can already be considered stale. This will cause some noise for everyone, but after that, we will end up with a way smaller list of open PRs.

@SenseException
Copy link
Member

Ready for the stale pr avalanche

@greg0ire greg0ire merged commit 6dae89c into doctrine:3.3.x Oct 14, 2024
@greg0ire
Copy link
Member

And so it begins 🙈

@greg0ire greg0ire added this to the 3.3.1 milestone Oct 14, 2024
@derrabus derrabus deleted the improvement/stale branch October 14, 2024 06:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants