From 6571e0e4faacce1f105dee6f5f4712a78ea6e372 Mon Sep 17 00:00:00 2001 From: Mike Salvatore Date: Tue, 20 Apr 2021 12:11:46 -0400 Subject: [PATCH] Install pre-push hooks in deployment scripts --- deployment_scripts/deploy_linux.sh | 2 +- deployment_scripts/deploy_windows.ps1 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deployment_scripts/deploy_linux.sh b/deployment_scripts/deploy_linux.sh index 940b763d5..072e14af8 100755 --- a/deployment_scripts/deploy_linux.sh +++ b/deployment_scripts/deploy_linux.sh @@ -26,7 +26,7 @@ log_message() { configure_precommit() { $1 -m pip install --user pre-commit pushd "$2" - $HOME/.local/bin/pre-commit install + $HOME/.local/bin/pre-commit install -t pre-commit -t pre-push popd } diff --git a/deployment_scripts/deploy_windows.ps1 b/deployment_scripts/deploy_windows.ps1 index 28d34904c..3438c554b 100644 --- a/deployment_scripts/deploy_windows.ps1 +++ b/deployment_scripts/deploy_windows.ps1 @@ -18,7 +18,7 @@ function Configure-precommit([String] $git_repo_dir) if ($LastExitCode) { exit } - pre-commit install + pre-commit install -t pre-commit -t pre-push if ($LastExitCode) { exit }