forked from p15670423/monkey
Install pre-push hooks in deployment scripts
This commit is contained in:
parent
753c0586c1
commit
6571e0e4fa
|
@ -26,7 +26,7 @@ log_message() {
|
||||||
configure_precommit() {
|
configure_precommit() {
|
||||||
$1 -m pip install --user pre-commit
|
$1 -m pip install --user pre-commit
|
||||||
pushd "$2"
|
pushd "$2"
|
||||||
$HOME/.local/bin/pre-commit install
|
$HOME/.local/bin/pre-commit install -t pre-commit -t pre-push
|
||||||
popd
|
popd
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -18,7 +18,7 @@ function Configure-precommit([String] $git_repo_dir)
|
||||||
if ($LastExitCode) {
|
if ($LastExitCode) {
|
||||||
exit
|
exit
|
||||||
}
|
}
|
||||||
pre-commit install
|
pre-commit install -t pre-commit -t pre-push
|
||||||
if ($LastExitCode) {
|
if ($LastExitCode) {
|
||||||
exit
|
exit
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue