<div dir="ltr">While we will use GitHub's Squash and Merge button for PRs, that doesn't meant everyone will want to use it; some people just prefer using a CLI. That means we need to come up with a set of instructions on how to take a GitHub PR and perform a squash commit manually at the CLI (committing a patch from <a href="http://bugs.python.org">bugs.python.org</a> is simply since there's no squashing to do). Anyone have that set of commands handy?</div>