g1t/services/identity/migrations/0033_identity_jobs.sql
Pick any line to see why it is the way it is: the commit, the pull request and issue it came from, and what the agent was thinking.
| Merge membership: owners, org roles, GitHub's repo roles, privileges, 2FA | 1 | -- Work identity does once, a page at a time, from its scheduled handler, |
| 2 | -- and where each got to. The first is `creator_grants`: giving the person | |
| 3 | -- who created each existing repository the Admin role on it | |
| 4 | -- (src/members.rs), as a new repository's creator now gets at creation. | |
| 5 | CREATE TABLE IF NOT EXISTS identity_jobs ( | |
| 6 | name TEXT PRIMARY KEY, | |
| 7 | -- The last repository id done; NULL before the first page. | |
| 8 | cursor TEXT, | |
| 9 | done_at TEXT | |
| 10 | ); | |
| 11 | INSERT OR IGNORE INTO identity_jobs (name) VALUES ('creator_grants'); |
This file's history is long; its oldest lines are credited to the oldest commit read.