GitHub labels vs merge when ready

56 · Thiago Perrotta · Nov. 27, 2025, 7:34 p.m.
Summary
This blog post discusses the use of GitHub's auto-merge feature in pull requests (PRs) and compares it to a similar feature in Google's internal tooling, Critique. The author shares their experiences and challenges with needing multiple reviews before merging and suggests using a 'done' label as a workaround to ensure all reviewers are satisfied before merging.