Make use of Clippy repo read-only - #2137

Make use of Clippy repo read-only#2137

smoelius wants to merge 1 commit into

mastertrailofbits/dylint:masterfrom

read-only-clippy-repositorytrailofbits/dylint:read-only-clippy-repositoryCopy head branch name to clipboard