diff options
| author | mail_redacted_for_web | 2024-07-14 12:18:40 +0200 |
|---|---|---|
| committer | mail_redacted_for_web | 2024-07-14 12:18:40 +0200 |
| commit | 0854d735ac6f596205df2484c9c5793cdf259e73 (patch) | |
| tree | f1f862ee5db2fbf08bb78d8fac2a8a28a6dcf693 /.githooks | |
| parent | 00f87081a3ba50b48dc3cebfaa3c804e805120b0 (diff) | |
| download | dotfiles-0854d735ac6f596205df2484c9c5793cdf259e73.tar.bz2 | |
+pre-commit
Diffstat (limited to '.githooks')
| -rwxr-xr-x | .githooks/pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.githooks/pre-commit b/.githooks/pre-commit new file mode 100755 index 0000000..2ec7e41 --- /dev/null +++ b/.githooks/pre-commit @@ -0,0 +1,4 @@ +#!/usr/bin/env sh +git config --remove-section submodule.git-prompt +printf "submodule git-prompt has been removed. After pushing, don't forget to trigger the" +printf " post-checkout hook again.\\n" |