From b1c8e41b6460058c6fc39c6bb04e89f2798d48ba Mon Sep 17 00:00:00 2001
From: apiraino <apiraino@users.noreply.github.com>
Date: Fri, 17 Jan 2025 16:39:58 +0100
Subject: [PATCH] Make a DB migration optional

This should avoid the migration process to block if the field already exists.
---
 src/db.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/db.rs b/src/db.rs
index 54f7a05f..e2d88510 100644
--- a/src/db.rs
+++ b/src/db.rs
@@ -345,6 +345,6 @@ CREATE EXTENSION IF NOT EXISTS intarray;",
 CREATE UNIQUE INDEX IF NOT EXISTS review_prefs_user_id ON review_prefs(user_id);
  ",
     "
-ALTER TABLE review_prefs ADD COLUMN max_assigned_prs INTEGER DEFAULT NULL;
+ALTER TABLE review_prefs ADD COLUMN IF NOT EXISTS max_assigned_prs INTEGER DEFAULT NULL;
 ",
 ];