Repository navigation

ci: Disable GitHub merge button (maintainers land changes via Copybara) - #6086

Closed

Jacksunwei wants to merge 4 commits into

mainfrom

ci/block-github-merge

Closed

ci: Disable GitHub merge button (maintainers land changes via Copybara)#6086
Jacksunwei wants to merge 4 commits into
mainfrom
ci/block-github-merge

Commits on Jun 11, 2026
- ci: Disable GitHub merge button to enforce Piper-only submission
  Jacksunwei
  committed
  a2d5233
- ci: Make merge-block check name self-explanatory on PR page
  Jacksunwei
  committed
  8cf9e06
- ci: Reword merge-block check to reference Copybara sync
  Jacksunwei
  committed
  316affb
- ci: Shorten merge-block check job name
  Jacksunwei
  committed
  587a03a