To declutter PRs a bit, it would be nice if bors had a system for hiding old/not relevant comments: - Once a PR becomes mergeable again, we could hide old comments about mergeability (https://github.com/rust-lang/rust/pull/143255#issuecomment-3021618048) - Once a PR build finishes, we could hide the "Try/Auto build started" comment.