Update pre-commit hook to be bash.

Cambridge-ICCS · Nov 21, 2023 · 656fa9d · 656fa9d
1 parent 8f8345d
commit 656fa9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pre-commit b/pre-commit
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #
 # A hook script to verify what is about to be committed.
 # Called by "git commit" with no arguments.  The hook should