[Python-Dev] Re: Annoying user on GitHub