This story has a happy ending. I sent a request to GitHub user support, who forwarded a message from me to the owner of the repo, who responded with apologies and then deleted the repo! Click for yourself: https://github.com/python-git/python/ is now a 404. Yay!

On Fri, May 5, 2017 at 3:23 PM, Guido van Rossum <guido@python.org> wrote:

OK I'll contact GitHub.

On Fri, May 5, 2017 at 10:01 AM, Guido van Rossum <guido@python.org> wrote:

Let's coordinate who contacts GitHub. Victor, Brett or myself?

On Fri, May 5, 2017 at 9:52 AM, Brett Cannon <brett@python.org> wrote:

On Fri, 5 May 2017 at 09:50 Victor Stinner <victor.stinner@gmail.com> wrote:

2017-05-05 18:36 GMT+02:00 Jonathan Goble <jcgoble3@gmail.com>:
> It appears to me to be an individual user rather than an organization.

Oh nice, glad to meet you :-) So what do you think? Are you ok to
remove this old clone? Or do you have reasons to keep it?

I don't think Jonathan was claiming ownership of the python-git account, just pointed out the account is a personal account of somebody's and not an organization account. 

_______________________________________________
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/guido%40python.org

--

--Guido van Rossum (python.org/~guido)

--

--Guido van Rossum (python.org/~guido)

--

--Guido van Rossum (python.org/~guido)