From 09f487721d6a0121cf8fed0f2a814956c6946c92 Mon Sep 17 00:00:00 2001 From: "shipmill-romamo[bot]" <338557544+shipmill-romamo[bot]@users.noreply.github.com> Date: Tue, 3 Nov 2026 19:22:37 +0200 Subject: [PATCH] Drop the deprecated [agents] prs key (drop-agents-prs upgrade) 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 --- .github/shipmill.toml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/shipmill.toml b/.github/shipmill.toml index 38be821..c324bb6 100644 --- a/.github/shipmill.toml +++ b/.github/shipmill.toml @@ -86,7 +86,6 @@ dispatch = ["publish.yml"] # shipmill gate (launchd) starts a Claude Code session only when the repo needs one [agents] prompt = "/shipmill:github-issue-triage {repo} triage the new issues; merge when green" -prs = true # true when the prompt lands PRs retry_hours = 24 # unchanged findings start a new session after this notify = true # a desktop notification when a session waits on you remind_hours = 4 # repeat it while the session still waits