commit f72958c4172d9a0f6a08ff35d6c5b31bfe255cb4
parent 57980450d50232b049ab2ff07ee0e29a96e07da3
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Sat, 30 Jan 2021 22:59:24 +0100
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.
Diffstat:
3 files changed, 0 insertions(+), 11 deletions(-)
diff --git a/repo/hooks/check-links.sh b/repo/hooks/check-links.sh
@@ -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
@@ -1,3 +0,0 @@
-#/bin/bash
-
-./repo/hooks/check-links.sh
diff --git a/repo/hooks/setup.sh b/repo/hooks/setup.sh
@@ -1,3 +0,0 @@
-#!/bin/bash
-
-git config --local core.hooksPath repo/hooks