Skip to content

ci: rely on the org-required lint - #12

Open
bryanfawcett wants to merge 1 commit into
stagingfrom
ci/drop-repo-lint
Open

bryanfawcett wants to merge 1 commit into
stagingfrom
ci/drop-repo-lint

Conversation

@bryanfawcett

Copy link
Copy Markdown
Member

Removes the repo-local lint workflow; the org ruleset already requires the shared lint from nyuchi/.github. Found unpublished during a clone audit.

🤖 Generated with Claude Code

https://claude.ai/code/session_01GHjaH1Vt2dVLWU68iz8tFq

The org ruleset org-wide-main-protection now runs the shared lint on
every pull request through nyuchi/.github's org-lint.yml, publishing
the same five lint / ... contexts. This repo's own caller of
reusable-lint.yml ran the same checks a second time, so drop it.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GHjaH1Vt2dVLWU68iz8tFq

This branch has not been deployed

No deployments
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