On 30 July 2015 at 03:50, Guido van Rossum wrote:
> When in doubt, such discussions should be escalated to python-dev. I don't
> know if this one was, though I vaguely recall seeing it discussed somewhere.
> Anyway, since it's been released, it should stay in.
>From a communications perspective,
Thanks to Benjamin, we now have instructions in the devguide on how to help
out with adding SSH keys for people:
https://docs.python.org/devguide/developers.html#altering-access . For
those of you who expressed interest in helping out, now you can!
On Fri, Jul 24, 2015 at 4:19 AM Jesus Cea wrote:
On 30/07/15 19:37, Brett Cannon wrote:
> Thanks to Benjamin, we now have instructions in the devguide on how to
> help out with adding SSH keys for
> people: https://docs.python.org/devguide/developers.html#altering-access
> . For those of you who expressed interest in helping out, now you can!
""
On Thu, Jul 30, 2015 at 10:51 AM Jesus Cea wrote:
> On 30/07/15 19:37, Brett Cannon wrote:
> > Thanks to Benjamin, we now have instructions in the devguide on how to
> > help out with adding SSH keys for
> > people: https://docs.python.org/devguide/developers.html#altering-access
> > . For those
