-
Notifications
You must be signed in to change notification settings - Fork 33
Closed
Description
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 (Do not enable LLD by default in the dist profile rust#143255 (comment))
- Once a PR build finishes, we could hide the "Try/Auto build started" comment.
Metadata
Metadata
Assignees
Labels
No labels