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 <gu...@python.org> wrote: > OK I'll contact GitHub. > > On Fri, May 5, 2017 at 10:01 AM, Guido van Rossum <gu...@python.org> > wrote: > >> Let's coordinate who contacts GitHub. Victor, Brett or myself? >> >> On Fri, May 5, 2017 at 9:52 AM, Brett Cannon <br...@python.org> wrote: >> >>> >>> >>> On Fri, 5 May 2017 at 09:50 Victor Stinner <victor.stin...@gmail.com> >>> wrote: >>> >>>> 2017-05-05 18:36 GMT+02:00 Jonathan Goble <jcgob...@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/mailma >>> n/options/python-dev/guido%40python.org >>> >>> >> >> >> -- >> --Guido van Rossum (python.org/~guido) >> > > > > -- > --Guido van Rossum (python.org/~guido) > -- --Guido van Rossum (python.org/~guido)
_______________________________________________ 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/archive%40mail-archive.com
