Hello all, After a PR of mine lands, I always manually press the "Delete branch" button, so that "git branch -al" does not pile up cruft and remains an useful tool. I guess/hope that most other people do the same?
GitHub recently added a simple config option to automate that: https://help.github.com/en/github/administering-a-repository/managing-the-automatic-deletion-of-branches Does anyone object if I enable that for our cockpit projects? Thanks, Martin _______________________________________________ cockpit-devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedorahosted.org/archives/list/[email protected]
