Skip to content

Promote Develop: Fail Closed on an Unread Bare Push, Read Copilot's Excluded-Files Refusal, and Fix backlog-burndown and Prose Gate Gaps - #3778

Merged
ptr727 merged 7 commits into
mainfrom
develop
Nov 1, 2026
Merged

ptr727 merged 7 commits into
mainfrom
develop

Commits

  1. Commits on Nov 1, 2026