From f72958c4172d9a0f6a08ff35d6c5b31bfe255cb4 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
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 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 repo/hooks/check-links.sh

(limited to 'repo/hooks/check-links.sh')

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.*'
-- 
cgit v1.2.3