homu icon indicating copy to clipboard operation
homu copied to clipboard
verified publisher icon rust-lang

Don't leave 'unmergeable' messages on merged PRs

Open Aaron1011 opened this issue 6 years ago • 0 comments

PR https://github.com/rust-lang/rust/pull/66431 was merged as part of a rollup. After the merge, bors commented that the PR was 'made unmergeable' due to the rollup PR. This is a pretty useless message, since a merged PR is intrinsically unmergeable.

Aaron1011 avatar Nov 19 '19 15:11 Aaron1011