feat: add priority option

docs/commands.md

@@ -8,3 +8,4 @@ which is by default set to `@bors`.
 | `try`              | `try`           | Start a try build based on the most recent commit from the main branch. |
 | `try parent=<sha>` | `try`           | Start a try build based on the specified parent commit `sha`.           |
 | `try cancel`       | `try`           | Cancel a running try build.                                             |
+| `p=<priority>`     | `try`           | Set the priority of a PR.                                               |

migrations/20250227095730_add_priority_to_pr.down.sql

@@ -0,0 +1,2 @@
+-- Add down migration script here
+ALTER TABLE pull_request DROP COLUMN priority;

migrations/20250227095730_add_priority_to_pr.up.sql

@@ -0,0 +1,2 @@
+-- Add up migration script here
+ALTER TABLE pull_request ADD COLUMN priority INT;

src/bors/command/mod.rs

@@ -2,6 +2,9 @@ mod parser;
 use crate::github::CommitSha;
 pub use parser::{CommandParseError, CommandParser};
 
+/// Priority of a commit.
+pub type Priority = u32;
+
 /// Type of parent allowed in a try build
 #[derive(Clone, Debug, PartialEq)]
 pub enum Parent {
@@ -23,10 +26,15 @@ pub enum Approver {
 #[derive(Debug, PartialEq)]
 pub enum BorsCommand {
     /// Approve a commit.
-    Approve(Approver),
+    Approve {
+        /// Who is approving the commit.
+        approver: Approver,
+        /// Priority of the commit.
+        priority: Option<Priority>,
+    },
     /// Unapprove a commit.
     Unapprove,
-    /// Print help
+    /// Print help.
     Help,
     /// Ping the bot.
     Ping,
@@ -39,4 +47,6 @@ pub enum BorsCommand {
     },
     /// Cancel a try build.
     TryCancel,
+    /// Set the priority of a commit.
+    SetPriority(Priority),
 }