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