<p dir="ltr">Great, and thanks for the info! -Ben</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Sep 13, 2016 5:31 PM, "Brett Cannon" <<a href="mailto:brett@python.org">brett@python.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Tue, 13 Sep 2016 at 13:56 Ben Hoyt <<a href="mailto:benhoyt@gmail.com" target="_blank">benhoyt@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>I noticed in [PEP 512 - Document steps to commit a pull request](<a href="https://www.python.org/dev/peps/pep-0512/#document-steps-to-commit-a-pull-request" target="_blank">https://www.python.<wbr>org/dev/peps/pep-0512/#<wbr>document-steps-to-commit-a-<wbr>pull-request</a>) it says that CPython on GitHub won't be able to use GitHub's "Merge" button on pull requests, because we want a linear history with one commit per change/issue.</div><div><br></div><div>However, GitHub recently (actually on April 1, 2016 -- but it's not a joke :-) added support for "commit squashing". See <a href="https://github.com/blog/2141-squash-your-commits" target="_blank">https://github.com/blog/2141-<wbr>squash-your-commits</a> and <a href="https://help.github.com/articles/about-pull-request-merges/" target="_blank">https://help.github.com/<wbr>articles/about-pull-request-<wbr>merges/</a> ... basically you can do "old-GitHub-style merge" commits or "squash and merge" commits, and you can even set a repo to only allow "squash and merge" commits on that repo.</div><div><br></div><div>Will CPython be able to use this?</div></div></blockquote><div><br></div><div>Yes. That part of the PEP is outdated because I've been focusing on moving the other repos first (which are now done).</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div> I think that using GitHub's integrated pull request and merge features will make it much easier for contributors (and core developers for that matter). And from personal experience, pressing that big green button is very satisfying. :-)</div><div><br></div><div>P.S. While I'm here: is there a timeline for the various stages of PEP 512?</div></div></blockquote><div><br></div><div>The hope is by the end of the year, but no sooner than the release of Python 3.6.0.</div><div><br></div><div>And FYI the core-workflow mailing list is the best place to ask about the GitHub migration. </div></div></div>
</blockquote></div></div>