Merge pull request #1883 from apiraino/fix-migration

Make a DB migration optional

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;
 ",
 ];