Skip to content
This repository has been archived by the owner on May 23, 2024. It is now read-only.

Cleanup merged/closed branches via @rustbot glacier #611

Open
JohnTitor opened this issue Jan 11, 2021 · 5 comments
Open

Cleanup merged/closed branches via @rustbot glacier #611

JohnTitor opened this issue Jan 11, 2021 · 5 comments

Comments

@JohnTitor
Copy link
Member

JohnTitor commented Jan 11, 2021 •
edited
Loading

Noticed in #610 (comment).
The glacier command is really nice but the merged/closed branches won't be deleted. This is a very minor issue but ideally, it'd be great if we could cleanup somehow.
@camelid camelid changed the title Cleanup merged/closed branches via @triagebot glacier Cleanup merged/closed branches via @rustbot glacier Jan 11, 2021
@camelid
Copy link
Member

camelid commented Jan 11, 2021

Note that the branches are in triagebot's fork, not rust-lang/glacier.

@camelid
Copy link
Member

camelid commented Jan 11, 2021 •
edited
Loading

cc rust-lang/triagebot#1041

@JohnTitor
Copy link
Member Author

Note that the branches are in triagebot's fork, not rust-lang/glacier.

Yeah, therefore we cannot do it manually after merging.

@camelid
Copy link
Member

camelid commented Jan 11, 2021

Maybe we can get triagebot to "check" the "Allow maintainers to edit branch" option?

@JohnTitor
Copy link
Member Author

IIRC it won't work after merging.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JohnTitor @camelid