- From: Patrick H. Lauke <redux@splintered.co.uk>
- Date: Thu, 16 Sep 2021 01:13:37 +0100
- To: Alastair Campbell <acampbell@nomensa.com>
- Cc: WCAG <w3c-wai-gl@w3.org>
On 16/09/2021 00:15, Alastair Campbell wrote: > 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.) Apparently yes. I just nuked a merged branch from a PR josh o'connor made 6 years ago. If you're happy for me to go ahead, I can delete all branches that have been merged/closed at least (leaving the ones that are still open, though they'll be the trickier ones to get rid of) P -- Patrick H. Lauke https://www.splintered.co.uk/ | https://github.com/patrickhlauke https://flickr.com/photos/redux/ | https://www.deviantart.com/redux twitter: @patrick_h_lauke | skype: patrick_h_lauke
Received on Thursday, 16 September 2021 00:13:53 UTC