5 Apr
2018
5 Apr
'18
1:36 p.m.
Modifying GitHub Labels is only available to people with commit privs and, IIRC, Skip asked to drop his commit privs a few years ago (although I'm sure we would all be happy to welcome him back!).
Alas, then I would feel some obligation to be semi-responsive to buggy things in areas where I have some interest. I'd really rather be out on my bike. :-) S