| 1 | -- The commits a pull request's default merge messages read (merging.rs), |
| 2 | -- kept when its mergeability is worked out after a push (mergeability.rs), |
| 3 | -- so the merge box reads them here rather than from the git store. |
| 4 | -- `head` and `merge_base` are what they were read for: the list changes |
| 5 | -- only when one of them moves. `pair` is the mergeable_key ("head..base") |
| 6 | -- they were last confirmed for; they are used only while it is the pull |
| 7 | -- request's mergeable_key and `head` its head. |
| 8 | CREATE TABLE pull_message_commits ( |
| 9 | pull_id TEXT PRIMARY KEY, |
| 10 | head TEXT NOT NULL, |
| 11 | merge_base TEXT, |
| 12 | pair TEXT NOT NULL, |
| 13 | commits TEXT NOT NULL, |
| 14 | updated_at TEXT NOT NULL |
| 15 | ); |