...
Priority
Generally you shouldn’t have to provide a priority for your PR when merging with bors. As an exception to this rule, some PR’s should be merged with the standard priority p=99.
...
Page Comparison
Manage space
Manage content
Integrations