Skip to content

chore: drop ship-auto-merge label for owner/member auto-merge - #92

Merged
jsolly merged 1 commit into
mainfrom
chore/drop-ship-auto-merge-label
Jul 25, 2026
Merged

chore: drop ship-auto-merge label for owner/member auto-merge#92
jsolly merged 1 commit into
mainfrom
chore/drop-ship-auto-merge-label

Conversation

@jsolly

@jsolly jsolly commented Jul 25, 2026

Copy link
Copy Markdown
Owner

Summary

  • Replace label-gated auto-merge with owner/member author gate

Test plan

  • CI green
  • Auto-merge arms

Made with Cursor

Gate auto-merge on PR author (owner or org member) instead of an opt-in label so agent and human PRs arm without the ship-auto-merge stamp.
@jsolly
jsolly enabled auto-merge (squash) July 25, 2026 13:25
@jsolly
jsolly merged commit 721c8b8 into main Jul 25, 2026
3 checks passed
@jsolly
jsolly deleted the chore/drop-ship-auto-merge-label branch July 25, 2026 13:26
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