<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><blockquote type="cite">

<div><div class="h5"><div dir="ltr"><div><div><div><a href="https://github.com/python/cpython" target="_blank">https://github.com/python/cpython</a> is now live as a semi-official, *read only* Github mirror of the CPython Mercurial repository. Let me know if you have any problems/concerns.<br>



<br></div>I still haven't decided how often to update it (considering either just N times a day, or maybe use a Hg hook for batching). Suggestions are welcome.<br><br></div>The methodology I used to create it is via hg-fast-export. I also tried to pack and gc the git repo as much as possible before the initial Github push - it went down from almost ~2GB to ~200MB (so this is the size of a fresh clone right now).<br>



<br>Eli<br><br></div>P.S. thanks Jesse for the keys to <a href="https://github.com/python" target="_blank">https://github.com/python</a><br><br><br><div><br></div></div></div></div>
_______________________________________________<br>Python-Dev mailing list<br><a href="mailto:Python-Dev@python.org" target="_blank">Python-Dev@python.org</a><br><a href="https://mail.python.org/mailman/listinfo/python-dev" target="_blank">https://mail.python.org/mailman/listinfo/python-dev</a><br>

Unsubscribe: <a href="https://mail.python.org/mailman/options/python-dev/donald%40stufft.io" target="_blank">https://mail.python.org/mailman/options/python-dev/donald%40stufft.io</a><br></blockquote></div><br><div>Awesome! I find Github way nicer for reading source than <a href="http://hg.python.org" target="_blank">hg.python.org</a>'s web interface, any chance I could convince you to do this for the peps repo too? ;)</div>

</div></blockquote><div><br></div><div>Yes, that shouldn't pose a problem. I'll let it hum for a couple of days just to see everything is OK and then I'll add peps too.<br><br>Eli<br></div><div><br><br> </div>

</div></div></div>