<div dir="ltr"><span style="font-size:small">I've now gone ahead and deleted the cpython-mirror repo as scheduled. Happy two month anniversary on the new workflow. :)</span><br style="font-size:small"></div><br><div class="gmail_quote"><div dir="ltr">On Mon, 27 Mar 2017 at 15:39 Victor Stinner <<a href="mailto:victor.stinner@gmail.com">victor.stinner@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Oops, thanks for the reminder! I found two old pull requests that I<br class="gmail_msg">
forgot to rebase and republish on the new CPython Git repository.<br class="gmail_msg">
<br class="gmail_msg">
Victor<br class="gmail_msg">
<br class="gmail_msg">
2017-03-27 22:13 GMT+02:00 Brett Cannon <<a href="mailto:brett@python.org" class="gmail_msg" target="_blank">brett@python.org</a>>:<br class="gmail_msg">
> On the two-month anniversary of the GitHub migration I'm going to delete the<br class="gmail_msg">
> old git mirror: <a href="https://github.com/python/cpython-mirror" rel="noreferrer" class="gmail_msg" target="_blank">https://github.com/python/cpython-mirror</a>. If you have a old<br class="gmail_msg">
> PR that got closed with comments or something, now is the time to get those<br class="gmail_msg">
> comments off.<br class="gmail_msg">
><br class="gmail_msg">
> _______________________________________________<br class="gmail_msg">
> Python-Dev mailing list<br class="gmail_msg">
> <a href="mailto:Python-Dev@python.org" class="gmail_msg" target="_blank">Python-Dev@python.org</a><br class="gmail_msg">
> <a href="https://mail.python.org/mailman/listinfo/python-dev" rel="noreferrer" class="gmail_msg" target="_blank">https://mail.python.org/mailman/listinfo/python-dev</a><br class="gmail_msg">
> Unsubscribe:<br class="gmail_msg">
> <a href="https://mail.python.org/mailman/options/python-dev/victor.stinner%40gmail.com" rel="noreferrer" class="gmail_msg" target="_blank">https://mail.python.org/mailman/options/python-dev/victor.stinner%40gmail.com</a><br class="gmail_msg">
><br class="gmail_msg">
</blockquote></div>