On Tue, 13 Jun 2017 at 15:37 Victor Stinner <victor.stinner@gmail.com> wrote:

Le 14 juin 2017 00:29, "Brett Cannon" <brett@python.org> a écrit :
It is, but the infrastructure team owns that repo, not Python core.

-Brett

Oh, I didn't know. Is it possible to see who owns a GitHub Python project at https://github.com/python/?

If you can see https://github.com/orgs/python/teams/python-core/repositories then yes. :)

If not, do you think that it would be worth it to document it somewhere? Like in the devguide?

I don't think it's worth it as it doesn't come up often enough and it would just end up out-of-date.