Re: [python-committers] Would anyone STOP contributing to Python if we used GitHub?