Old check did not work on debian :(

diff --git a/tools/make-git b/tools/make-git
index ee3a1a54d3c71d61be5750cb7c381473c4eaa7b1..cbc39e45a510142cbb91562030f3694079e1df07 100755 (executable)
--- a/tools/make-git
+++ b/tools/make-git
@@ -222,7 +222,7 @@ git_hook_pre_commit() {
        USERMAIL=$(git config --list | grep ^user.email)
        USERMAIL=${USERMAIL#user.email=}
 
-       if [[ ! "$USERMAIL" =~ "@ipfire\.org$" ]]; then
+       if ! egrep -q "@ipfire.org" <<< $USERMAIL; then
                echo "User email is not from ipfire.org. Can't commit."
                return 1
        fi