Local-first CI: the pre-push hook is the gate and hosted CI is the mirror
After GitHub Actions burned a month of minutes in two days, the gate moved to the workstation. A pre-push hook runs a quick tier on every push, every green run writes a record tagged with its tier and commit, and a merge guard refuses an…