Skip to content

Make the pre-commit script pre-push instead#88313

Merged
bors merged 1 commit intorust-lang:masterfrom jyn514:pre-pushFeb 7, 2022
+21-7

Commits

Commits on Aug 25, 2021