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.

1	-- An issue closed by a commit pushed to the default branch whose message
2	-- names it after a closing keyword (`Fixes #12`; pushed.rs): the commit,
3	-- and who pushed it. `resolved_by` stays for the pull request that closed
4	-- one; a commit closes an issue with that left empty.
5	ALTER TABLE issues ADD COLUMN resolved_commit TEXT;
6	ALTER TABLE issues ADD COLUMN resolved_pushed_by TEXT;
7
8	CREATE INDEX issues_by_resolved_commit ON issues (repo_id, resolved_commit) WHERE resolved_commit IS NOT NULL;