This repository was archived by the owner on Jan 15, 2026. It is now read-only.
This repository was archived by the owner on Jan 15, 2026. It is now read-only.
Don't leave 'unmergeable' messages on merged PRs #78
Description
PR rust-lang/rust#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.