On Fri, 21 Nov 2014 11:03:35 -0500 Benjamin Peterson <benja...@python.org> wrote: > > I hate to say this, but if we're going to have "doc" repos hosted in a > different place than code, we might as bite the bullet and move them to > Git + GitHub. That would surely maximize the community size + ease of > use objective function. > > Otherwise, moving the hosting will probably be more trouble > (administratively + infra) than it's worth. > > I know it's hard to know, but do we have a lot of people comping at the > bit to submit PRs to the devguide repo?
People interested in the devguide are probably interested in CPython core in the first place, so they'll have to accept hg anyway (or use a git-hg bridge...). Regards Antoine. _______________________________________________ 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
