GitHub now allows comments to be marked as "Resolved". I propose we automatically mark all old "failed on Travis" comments as resolved every time a new one gets added. This will improve the readability of discussions in PRs (especially in cases like https://github.com/rust-lang/rust/pull/51249).
Sadly, it doesn't look like there is an API endpoint for doing this (neither in the REST v3 nor in the GraphQL API).
GitHub now allows comments to be marked as "Resolved". I propose we automatically mark all old "failed on Travis" comments as resolved every time a new one gets added. This will improve the readability of discussions in PRs (especially in cases like https://github.com/rust-lang/rust/pull/51249).
Sadly, it doesn't look like there is an API endpoint for doing this (neither in the REST v3 nor in the GraphQL API).