Skip to content

ci: auto-merge docs and chore PRs on green#3

Merged
REPPL merged 2 commits into
mainfrom
ci/auto-merge-docs-chore
Jul 7, 2026
Merged

ci: auto-merge docs and chore PRs on green#3
REPPL merged 2 commits into
mainfrom
ci/auto-merge-docs-chore

Conversation

@REPPL

@REPPL REPPL commented Jul 7, 2026

Copy link
Copy Markdown
Owner

Adds .github/workflows/auto-merge.yml: enables GitHub auto-merge for PRs whose title starts with docs: or chore:, so they land hands-free once the required checks pass. feat/fix/ci/refactor/test PRs are left untouched and wait for a manual merge.

Mechanism (no ruleset change): required approvals stay at 0, so you can still merge your own feature PRs. The docs/chore distinction is enforced by the workflow arming auto-merge selectively, not by the branch ruleset. Required status checks still gate every merge.

Safety notes:

  • pull_request trigger (not pull_request_target); no third-party actions, so nothing to pin.
  • The title is matched in the Actions if: expression (startsWith), never interpolated into a shell — no script-injection surface.
  • Workflow-level permissions: contents: read; the single job scopes contents: write + pull-requests: write, which enablePullRequestAutoMerge requires.
  • Idempotent: skips when auto-merge is already armed.

Per its own policy, this ci: PR is left for you to merge manually.

Assisted-by: Claude:claude-opus-4-8

REPPL added 2 commits July 7, 2026 14:55
Add a workflow that enables GitHub auto-merge for pull requests whose
title starts with `docs:` or `chore:`, so documentation and housekeeping
changes land without a manual merge once the required checks pass. All
other prefixes (feat/fix/ci/refactor/test) are left untouched and wait
for an explicit merge.

Required approvals stay at 0 and the ruleset is unchanged, so the author
can still merge their own feature PRs; the docs/chore distinction is
enforced entirely by this workflow arming auto-merge selectively. Checks
still gate every merge.
@REPPL REPPL merged commit 7d6baca into main Jul 7, 2026
11 checks passed
@REPPL REPPL deleted the ci/auto-merge-docs-chore branch July 7, 2026 14:17
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