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.

Sign up for GitHub

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

Jump to bottom

Branch cleanup #914

Closed
chalin opened this issue Mar 5, 2022 · 3 comments
Closed

Branch cleanup #914

chalin opened this issue Mar 5, 2022 · 3 comments
Labels
CI/infra CI & infrastructure cleanup/refactoring

Comments

@chalin
Copy link
Collaborator

chalin commented Mar 5, 2022

@deining, can any of the following branches be deleted now that #871 has been merged?

image
@chalin chalin added cleanup/refactoring CI/infra CI & infrastructure labels Mar 5, 2022
@deining
Copy link
Collaborator

deining commented Mar 5, 2022 •
edited

@deining, can any of the following branches be deleted?

Yes, all 4 branches are obsolete now and can be deleted. I don't have permission to do so, so @LisaFC could you delete them, please?

@chalin
Copy link
Collaborator Author

chalin commented Mar 5, 2022

@deining - can you try again? I've updated the branch protection rules (as @LisaFC and I had agreed to out-of-band) to apply to the default branch only.

@deining
Copy link
Collaborator

deining commented Mar 5, 2022

@deining - can you try again

Thanks for your intervention, I could now delete all 4 obsolete branches. Closing this issue now.

@deining deining closed this as completed Mar 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
CI/infra CI & infrastructure cleanup/refactoring
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@chalin @LisaFC @deining