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...
Does anyone object if I enable that for our cockpit projects?
Thanks,
Martin