Hey Marius,
Marius Vollmer [2019-10-23 9:04 +0300]:
(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.)
Interesting -- I have a lot of branches that don't have PRs. Some are
experiments which I might want to continue "one of these days", and some still
need prerequisites and it's too early to PR them.
> 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?
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.
That would make sense indeed, to make it a per-person setting across all repos,
instead of a per-project setting. But as it happens, this is at
https://github.com/cockpit-project/cockpit/settings , not
in the individual
https://github.com/settings/profile .
Martin