diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2021-01-30 22:59:24 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2021-01-30 22:59:24 +0100 |
| commit | f72958c4172d9a0f6a08ff35d6c5b31bfe255cb4 (patch) | |
| tree | db85bc2f7525d73b322d83f52b7b8660553f104b | |
| parent | 57980450d50232b049ab2ff07ee0e29a96e07da3 (diff) | |
| download | memory-leaks-f72958c4172d9a0f6a08ff35d6c5b31bfe255cb4.tar.xz | |
Remove hooks
Maybe I'll miss them someday when I start writing reviews again; as
things stand, the pre-push hook merely makes git push slow for no
reason, since it checks for Markdown links and I'm not using Markdown
as much as I used to.
| -rwxr-xr-x | repo/hooks/check-links.sh | 5 | ||||
| -rwxr-xr-x | repo/hooks/pre-push | 3 | ||||
| -rwxr-xr-x | repo/hooks/setup.sh | 3 |
3 files changed, 0 insertions, 11 deletions
diff --git a/repo/hooks/check-links.sh b/repo/hooks/check-links.sh deleted file mode 100755 index 5681326..0000000 --- a/repo/hooks/check-links.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -echo "Checking for unresolved links…" - -! grep -Er '^\[.*\]:.*TODO.*' diff --git a/repo/hooks/pre-push b/repo/hooks/pre-push deleted file mode 100755 index ad0e03f..0000000 --- a/repo/hooks/pre-push +++ /dev/null @@ -1,3 +0,0 @@ -#/bin/bash - -./repo/hooks/check-links.sh diff --git a/repo/hooks/setup.sh b/repo/hooks/setup.sh deleted file mode 100755 index ffb52ca..0000000 --- a/repo/hooks/setup.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -git config --local core.hooksPath repo/hooks |