This used to be more important when running bors, but now github has clear indication that PR is in MQ we can remove this.
This used to be more important when running bors, but now github has clear indication that PR is in MQ we can remove this.