Avoid need for closing and then re-opening PRs for checking a PR's CI again for an updated master branch#1884

steffahn wants to merge 1 commit intomasterrust-lang/team:masterfrom

steffahn-ci-on-automerge-enabledrust-lang/team:steffahn-ci-on-automerge-enabledCopy head branch name to clipboard