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
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 tryafter approval.cc @Centril