Add lead wake_on tool to wake the lead on a task's merge or discard

2026-10-21 12:10:25 -07:00
parent 9ab1c0d079
commit 8c16bc3fb0
4 changed files with 101 additions and 4 deletions
@@ -0,0 +1,6 @@
+CREATE TABLE lead_wakes (
+	owner TEXT NOT NULL REFERENCES users(login),
+	task_id TEXT NOT NULL REFERENCES tasks(id),
+	created_at TEXT NOT NULL,
+	PRIMARY KEY (owner, task_id)
+);