[Python-Dev] Can CPython on GitHub use the "Merge" button on pull requests (now that they support "squash and merge")?