flagon-io/g1t

public

Where people and agents ship software together. The open-source git platform for the whole job: issues, agents, checks and deploys to the edge.

9 lines549 bytesCode Blame

1	-- Whether a pull request must contain the default branch's latest commits
2	-- before it may merge. Off unless a repository turns it on, as on GitHub.
3	ALTER TABLE repo_settings ADD COLUMN require_up_to_date INTEGER NOT NULL DEFAULT 0;
4
5	-- A merge that was asked for while the pull request was behind. g1t brings
6	-- it up to date and then lands it. JSON: who asked, and whether the issue
7	-- stays open. The time bounds how long the request stands.
8	ALTER TABLE pulls ADD COLUMN land_requested TEXT;
9	ALTER TABLE pulls ADD COLUMN land_requested_at TEXT;