[python-committers] Re: PEP 581/588 RFC: Collecting feedback about GitHub Issues

2019-09-12 Thread Steve Dower
On 11Sep2019 1117, Steven D'Aprano wrote: On Wed, Sep 11, 2019 at 10:17:48AM +0100, Benjamin Peterson wrote: In other words, vanilla GitHub issue search does address Raymond's request? Given that github search is unlikely to be able to search "our voluminous history of already evaluated and de

[python-committers] Tooling built around historical record of core devs

2019-09-12 Thread Brett Cannon
A couple months ago I generated a canonical, historical record of people who have been core developers at https://github.com/python/voters/blob/master/python-core.toml. The goal was for that list to feed into the devguide for the public record of who has been a core dev as well has to help calculat