Skip to content

Make use of Clippy repo read-only - #2137

Open
smoelius wants to merge 1 commit into
masterfrom
read-only-clippy-repository
Open

smoelius wants to merge 1 commit into
masterfrom
read-only-clippy-repository

Conversation

@smoelius

Copy link
Copy Markdown
Collaborator

Codex-generated code. Needs to be reviewed.

@smoelius
smoelius force-pushed the read-only-clippy-repository branch from 1494f47 to 43363fa Compare October 19, 2026 13:48

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