Skip to content

remove GIT_DIR handling in pre-push hook#126663

Merged
bors merged 1 commit intorust-lang:masterfrom onur-ozkan:gitdir-thingJun 23, 2024

Commits

Commits on Jun 19, 2024