j: Next unread message
k: Previous unread message
j a: Jump to all threads
j l: Jump to MailingList overview
On Jun 28, 2019, at 09:56, Mariatta email@example.com wrote:
I've updated PEP 581 yesterday, adding the "Downsides of GitHub" section.
I plan to update PEP 588 sometime this weekend or next, to incorporate the discussions and suggestions brought up in Python Language Summit 2019:(http://pyfound.blogspot.com/2019/05/mariatta-wijaya-lets-use-github-issues.h...)
One of my biggest concerns is how the bpo-metadata -> GH-labels transition is going to work. Will make label management, discoverability, understanding, and use too unwieldy if we simply map all the bpo data to labels? This might be one area where we want to get closer interaction with the GH folks on their plans or suggestions.
Thanks for all your work on these PEPs. -Barry