Open
Description
Currently, once a pull request has been approved r+
, it can not be tried.
There are times when we want to do a timer run, even after r+
ing the merge request, so it would be great if we could still @bors try
after approval.
cc @Centril
Metadata
Metadata
Assignees
Labels
No labels