Skip to content

Record the main merge gate in infra notes - #19

Merged
nimkimi merged 1 commit into
mainfrom
docs/merge-gate
Aug 20, 2026
Merged

nimkimi merged 1 commit into
mainfrom
docs/merge-gate

Conversation

@nimkimi

@nimkimi nimkimi commented Aug 20, 2026

Copy link
Copy Markdown
Owner

Documents the branch protection added on 2026-08-20 and the trap it fixes: gh pr merge --auto gives no warning when there is nothing to wait for, so with repo auto-merge off or no required context it degrades into an immediate merge. That is how #18 landed while CI was still pending.

Also records why only Lint, types, tests, E2E is required, and why strict mode, required reviews, and admin enforcement are deliberately off.

Docs only. This PR doubles as the check that the new gate actually blocks — it should sit unmergeable until CI goes green.

Documents the required check and, more usefully, the trap behind it:
`gh pr merge --auto` does not warn when there is nothing to wait for.
With repo auto-merge off or no required context, it degrades silently
into an immediate merge, which is how #18 landed on a pending CI run.
@vercel

vercel Bot commented Aug 20, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
hackimi Ready Ready Preview Aug 20, 2026 9:20am

@nimkimi
nimkimi enabled auto-merge August 20, 2026 09:19
@nimkimi
nimkimi merged commit d34dbd8 into main Aug 20, 2026
5 checks passed

This branch was successfully deployed

1 active deployment
Preview — 7abae767 Deployed Aug 20, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant