diff options
| -rwxr-xr-x | src/etc/pre-push.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/etc/pre-push.sh b/src/etc/pre-push.sh index c9e1a2733fd..6f86c7ab8a4 100755 --- 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" |