message: Add proposed waiting-on-crater procedure
diff: @@ -105,7 +105,18 @@ Change the tag if necessary, and apply the procedure for the new tag now.
  ## [S-waiting-on-crater PRs]
  -To be determined
  +PRs with greater than 3 days of inactivity need to be processed. These can be found by looking at
  +the "updated X days ago" on GitHub's PR list.
  +
  +If crater has been run and results include failures, change the tag to S-waiting-on-review for
  +the reviewer to be responsible for deciding what should be done with the information provided by
  +the failures.
  +
  +If crater has been run and the results do not include failures, change the tag to
  +S-waiting-on-review for the reviewer to take one last look and approve.
  +
  +If crater has not been run and it has been more than 3 days since a crater run was requested, ping
  +acrichto, brson, tomprince, and frewsxcv and request a crater run.
  [S-waiting-on-crater PRs]: https://github.com/rust-lang/rust/pulls?utf8=%E2%9C%93&q=is%3Aopen%20is%3Apr%20sort%3Aupdated-asc%20label%3AS-waiting-on-crater
  