From f72958c4172d9a0f6a08ff35d6c5b31bfe255cb4 Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Sat, 30 Jan 2021 22:59:24 +0100 Subject: 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. --- repo/hooks/check-links.sh | 5 ----- repo/hooks/pre-push | 3 --- repo/hooks/setup.sh | 3 --- 3 files changed, 11 deletions(-) delete mode 100755 repo/hooks/check-links.sh delete mode 100755 repo/hooks/pre-push delete mode 100755 repo/hooks/setup.sh (limited to 'repo/hooks') 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 -- cgit v1.2.3