Priority column


#1

I see that there is a priority column, but I don’t see a way to specify such.
Any info on this before I try to dig through the code.
There are cases where we might want to fast track a PR in for some sort of fix and so on.

thanks,
First day using bors in production and it is working great!

-Jason


#2

I’ve never used it myself but it looks like you can set it with something like bors r+ p=1. I guess it could use documentation.


#3

Thanks - I was just about to search through the code!


#4

Oh, oops, sorry about that. Completely forgot to document that function after adding it!