Skip to content

§4: gate the pull request - #1

Merged
MichalAFerber merged 1 commit into
mainfrom
standards/ci-gate
Aug 4, 2026
Merged

§4: gate the pull request#1
MichalAFerber merged 1 commit into
mainfrom
standards/ci-gate

Conversation

@MichalAFerber

Copy link
Copy Markdown
Owner

This repo deployed from main with nothing checking a change first, so the
deploy was the first thing to find out. §4 puts the gate on the pull request;
every other repo in the estate now requires a ci context, and this adds the
one that was missing.

The check runs the same build this repo already relies on rather than an
invented approximation, and it fails if that build finds nothing to do — a gate
that cannot fail is worse than no gate, because it reads as coverage.

Co-Authored-By: Claude Opus 5 noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_0119vXMJC7FKdDTYJkLVLusg

🤖 Generated with Claude Code

https://claude.ai/code/session_0119vXMJC7FKdDTYJkLVLusg

This repo deployed from main with nothing checking a change first, so the
deploy was the first thing to find out. §4 puts the gate on the pull request;
every other repo in the estate now requires a `ci` context, and this adds the
one that was missing.

The check runs the same build this repo already relies on rather than an
invented approximation, and it fails if that build finds nothing to do — a gate
that cannot fail is worse than no gate, because it reads as coverage.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0119vXMJC7FKdDTYJkLVLusg
@MichalAFerber
MichalAFerber merged commit dd3c905 into main Aug 4, 2026
1 check passed
@MichalAFerber
MichalAFerber deleted the standards/ci-gate branch August 4, 2026 21: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.

1 participant