| Time (UTC) | PR | Message |
|---|---|---|
| 2021-07-26 11:47:36 | 7477 | @bors retry |
| 2021-07-26 10:04:31 | 7477 | @bors retry |
| 2021-07-01 15:02:19 | 7407 | @bors retry |
| 2021-07-01 14:58:56 | 7407 | @bors retry (please?) |
| 2021-07-01 11:44:43 | 7407 | The github issue preventing bors to do anything should be fixed @bors retry |
| 2021-06-15 15:44:38 | 7355 | @bors retry |