| 1 | -- What a push moved: the states and heads (hub spec §6.12). |
| 2 | pushes ADD COLUMN old_state TEXT NOT NULL DEFAULT ''; |
| 3 | pushes ADD COLUMN new_state TEXT NOT NULL DEFAULT ''; |
| 4 | pushes ADD COLUMN heads INTEGER NOT NULL DEFAULT 0; |
| 5 | pushes ADD COLUMN changes INTEGER NOT NULL DEFAULT 0; |