From d3670965eaf950173c7d74b7fc498d8bd98e14f2 Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Thu, 12 Mar 2020 07:48:15 +0100 Subject: Move all scripts under a new folder This folder will be used to hold all website-building code. At least until I change my mind and figure it's better to do it otherwise. --- scripts/pre-push | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 scripts/pre-push (limited to 'scripts/pre-push') diff --git a/scripts/pre-push b/scripts/pre-push new file mode 100755 index 0000000..d0c019d --- /dev/null +++ b/scripts/pre-push @@ -0,0 +1,5 @@ +#/bin/bash + +echo "Checking for unresolved links…" + +! grep -Er '^\[.*\]:.*TODO.*' -- cgit v1.2.3