> 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 _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
