Open merge dialog instantly from pushed merge facts

This commit is contained in:
Ian Gulliver
2026-10-21 11:48:21 -07:00
parent 4bb6f1fa11
commit 890fb6b691
15 changed files with 736 additions and 678 deletions
@@ -0,0 +1,17 @@
ALTER TABLE tasks ADD COLUMN unmerged_commits INTEGER NOT NULL DEFAULT 0;
ALTER TABLE tasks ADD COLUMN unmerged_files INTEGER NOT NULL DEFAULT 0;
ALTER TABLE tasks ADD COLUMN unreviewed_changes INTEGER NOT NULL DEFAULT 0;
ALTER TABLE tasks ADD COLUMN review_snapshot INTEGER NOT NULL DEFAULT 0;
ALTER TABLE tasks ADD COLUMN review_count INTEGER NOT NULL DEFAULT 0;
ALTER TABLE tasks ADD COLUMN review_running INTEGER NOT NULL DEFAULT 0;
ALTER TABLE tasks ADD COLUMN review_failed INTEGER NOT NULL DEFAULT 0;
ALTER TABLE tasks ADD COLUMN review_findings INTEGER NOT NULL DEFAULT 0;
CREATE TABLE task_participants (
task_id TEXT NOT NULL REFERENCES tasks (id),
position INTEGER NOT NULL,
login TEXT NOT NULL,
display_name TEXT NOT NULL,
git_name TEXT NOT NULL,
git_email TEXT NOT NULL,
PRIMARY KEY (task_id, position)
);