# HG changeset patch
# User David A. Holland
# Date 1402867314 14400
# Node ID 68a4f2d8930e4bfb63d78f97f66c671c23a2e129
# Parent  edf081d0b282d656b2b23ce2a81eb9591a536f9f
Add stuff for automatic feedback timeout.

diff -r edf081d0b282 -r 68a4f2d8930e database/schema/bugs.sql
--- a/database/schema/bugs.sql	Sun Jun 15 17:13:50 2014 -0400
+++ b/database/schema/bugs.sql	Sun Jun 15 17:21:54 2014 -0400
@@ -24,6 +24,18 @@
 	-- should always return empty.
 	-- (no PR should be locked unless it is closed)
 
+	-- Timeouts cause bugs to automatically change state in the
+	-- future.  This is intended to be used for e.g. "feedback
+	-- timeout".
+	--
+	-- States that should have a timeout installed are tagged
+	-- accordingly in the states table. When changing the state of
+	-- a PR, if the new state expects a timeout the PR should be
+	-- given a non-null timeout; otherwise, the timeout field
+	-- should be nulled.
+	timeout_date timestamp	null,
+	timeout_state text	null references states (name),
+
 	-- fixed-size history
 	arrival_schemaversion int  not null,
 	arrival_date timestamp	not null,
diff -r edf081d0b282 -r 68a4f2d8930e database/schema/config.sql
--- a/database/schema/config.sql	Sun Jun 15 17:13:50 2014 -0400
+++ b/database/schema/config.sql	Sun Jun 15 17:21:54 2014 -0400
@@ -62,5 +62,6 @@
        description text		,
        closed boolean		not null,
        nagresponsible boolean	not null,
-       nagsubmitter boolean	not null
+       nagsubmitter boolean	not null,
+       timeout boolean		not null
 ) WITHOUT OIDS;