On Apr 5, 2018, at 12:35, Brett Cannon <br...@python.org> wrote: > On Thu, 5 Apr 2018 at 02:49 Skip Montanaro <skip.montan...@gmail.com> wrote: >> > There are a bunch of open issues regarding gdb support including one with >> > a PR in need of review for 3.6+. >> >> I rejected one (which assumed everyone now uses a python-aware gdb), >> commented on another (ceval.c-related name changes in several >> commands), and created a PR for third (documentation for the >> user-defined commands). Unfortunately, it's been so long since I >> contributed, I don't quite understand the ins and outs of the workflow >> anymore. In particular, I could find no way to add the "skip news" >> label. > There's a "Labels" section in the right-hand column. You can click "Labels" > and a drop-down of available and selected labels will show up.
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!). > I'm afraid someone might have to intervene here: > > https://github.com/python/cpython/pull/6384 Thanks for pushing that! It's now merged. -- Ned Deily n...@python.org -- [] _______________________________________________ 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
