Skip to content

Drop the deprecated [agents] prs key (shipmill upgrade drop-agents-prs) - #194

Merged
shipmill-romamo[bot] merged 1 commit into
mainfrom
shipmill/upgrade-drop-agents-prs
Nov 3, 2026
Merged

shipmill-romamo[bot] merged 1 commit into
mainfrom
shipmill/upgrade-drop-agents-prs

Conversation

@shipmill-romamo

@shipmill-romamo shipmill-romamo Bot commented Nov 3, 2026 •

Copy link
Copy Markdown
Contributor

Closes #193

Accepted by @romamo in #193

Carries out shipmill's drop-agents-prs config upgrade with shipmill upgrade --apply drop-agents-prs: it deletes the prs = true line from [agents] in .github/shipmill.toml and nothing else.

  • What it changes: [agents] prs goes, which the gate ignores since spec 040: [autonomy] land decides whether open pull requests are its work, so no session changes what it does
  • Why: doctor stops warning, and the repo no longer relies on a deprecated key (D-63, spec 047)
  • To turn it off later: none: nothing reads prs; set it again and doctor warns again

No changelog fragment: Cloudfall's users won't notice a change to shipmill's own config.

Plan

  • Serves: quality bar
  • Files: .github/shipmill.toml (one line removed from [agents])
  • Order: shipmill upgrade --apply drop-agents-prs, then commit
  • Proof: shipmill upgrade --json no longer lists drop-agents-prs once merged; the diff is the upgrade's own edit

🤖 Generated with Claude Code

The gate ignores prs since shipmill's spec 040: [autonomy] land decides
whether open pull requests are its work. Accepted in #193.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@shipmill-romamo
shipmill-romamo Bot merged commit e88cf0b into main Nov 3, 2026
1 check passed
@shipmill-romamo
shipmill-romamo Bot deleted the shipmill/upgrade-drop-agents-prs branch November 3, 2026 17:33
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.

shipmill upgrade: turn on drop-agents-prs

0 participants