In practice adding new commits to a PR often means the title should be logically updated. Some people will also want the body to be updated. We should allow these as separate options on push-to-pull-request-branch.
In practice adding new commits to a PR often means the title should be logically updated. Some people will also want the body to be updated.
We should allow these as separate options on push-to-pull-request-branch.