RE: Suggested github housekeeping - stale branches

> Could I suggest deleting the ones that are merged/closed? And probably, as part of the merging process, deleting the related branches after merging?

I do generally delete branches that are merged (otherwise there would be 2-3 times as many!).

I would also like to spend time going back through the old branches and closing them off, but it isn't a high priority at the moment.

Out of interest, do non-editors have the ability to delete branches? I can't tell from my interface. (E.g. https://github.com/w3c/wcag/tree/Issue101 would be safe to delete.)

-Alastair

Received on Wednesday, 15 September 2021 23:15:29 UTC