Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upGitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Backport PR with additional commits is not handled yet. #64
Comments
|
Please don't auto-merge. Commit message created by GitHub for multi-commit PRs is composed from commit messages of both commits. This is not what expected. But preserving the original commit message can be not correct too. An additional commit can introduce semantic changes which should be reflected in commit message. In any case only core developer can make the decision. |
|
Ok so it should not auto-merge. |
In python/cpython#5781 miss-islington made the backport PR, however there was an additional commit by a core dev.
That scenario is not yet handled: