mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source 
remove `GIT_DIR` handling in pre-push hook

This is already handled from bootstrap: a1ca449981/src/bootstrap/src/utils/helpers.rs (L504-L506)
This commit is contained in:
Matthias Krüger 2024-06-23 22:38:59 +02:00 committed by GitHub
commit 6736641146
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/etc/pre-push.sh
View File

@ -7,8 +7,6 @@
set -Euo pipefail set -Euo pipefail
# https://github.com/rust-lang/rust/issues/77620#issuecomment-705144570
unset GIT_DIR
ROOT_DIR="$(git rev-parse --show-toplevel)" ROOT_DIR="$(git rev-parse --show-toplevel)"
echo "Running pre-push script $ROOT_DIR/x test tidy" echo "Running pre-push script $ROOT_DIR/x test tidy"