Priority column

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.

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


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.

1 Like

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

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