Skip to content

Conversation

donBarbos
Copy link
Contributor

Sometimes, after a PR is closed, maintainers might forget to remove the branch.
I think this could be automated to keep the repository cleaner. At the moment there are 19 branches (-4 not stubsabot), but only a few (8) open stubsabot PRs, which shows that this issue is still relevant.

@donBarbos donBarbos marked this pull request as ready for review September 29, 2025 17:55
@srittau
Copy link
Collaborator

srittau commented Sep 30, 2025

I honestly don't think this is much of a problem. At least not one that requires significant extra code and extra permissions. The stubsabot PRs are hidden away in their own namespace, so they can easily be ignored.

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

Successfully merging this pull request may close these issues.

2 participants