Martin Pitt <mpitt(a)redhat.com&gt; writes: (I actually don't, and looking at a list of my branches is completely useless for me. If I need to find a branch, I rely on Github telling me the branches with recent activity. On the other hand, I usually don't have branches that don't have a PR, so I don't have to find branches all that often.) No objections. But, doesn't this setting apply to the origin repo of the PR? I.e., every contributor would have to enable that in its own fork of cockpit, if they want. At least, that's how I would design this feature, I can't really tell from the docs. There is only one way to find out!

Martin Pitt [2019-10-23 7:53 +0200]: I should clarify this a little bit: This means that the merged branch on the github remote will automatically be cleaned. It will of course still exist on your local checkout. You can do "git remote prune <yourorigin>" to locally clean up the ones that got removed remotely. Also, at least the "Delete branch" button in merged PRs has an undo button, just in case. I'd think that the automatic deletion would have that as well. Martin