Rollup merge of #126663 - onur-ozkan:gitdir-thing, r=Mark-Simulacrum

remove `GIT_DIR` handling in pre-push hook This is already handled from bootstrap: https://github.com/rust-lang/rust/blob/a1ca449981e3b8442e358026437b7bedb9a1458e/src/bootstrap/src/utils/helpers.rs#L504-L506
rust-lang · Jun 23, 2024 · 6736641 · 6736641
2 parents 4a3863e + 279bf05
commit 6736641
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/etc/pre-push.sh b/src/etc/pre-push.sh
@@ -7,8 +7,6 @@
 
 set -Euo pipefail
 
-# https://github.com/rust-lang/rust/issues/77620#issuecomment-705144570
-unset GIT_DIR
 ROOT_DIR="$(git rev-parse --show-toplevel)"
 
 echo "Running pre-push script $ROOT_DIR/x test tidy"