fixes /devel_tools/git-hooks/pre-commit header

.gitattributes

@@ -42,7 +42,10 @@ Make* header_spec=CEA_LGPL
 
 /bin/frama-c* header_spec=CEA_LGPL
 
+/devel_tools/git-hooks/pre-commit header_spec=CEA_LGPL
+
 /headers/headache_config.txt header_spec=CEA_LGPL
+
 /share/autocomplete_frama-c header_spec=CEA_LGPL
 /share/emacs/frama-c-*.el header_spec=CEA_LGPL
 /share/_frama-c header_spec=CEA_LGPL

devel_tools/git-hooks/pre-commit

 #!/bin/bash
-
 # -*- mode: bash
+##########################################################################
+#                                                                        #
+#  This file is part of Frama-C.                                         #
+#                                                                        #
+#  Copyright (C) 2007-2022                                               #
+#    CEA (Commissariat à l'énergie atomique et aux énergies              #
+#         alternatives)                                                  #
+#                                                                        #
+#  you can redistribute it and/or modify it under the terms of the GNU   #
+#  Lesser General Public License as published by the Free Software       #
+#  Foundation, version 2.1.                                              #
+#                                                                        #
+#  It is distributed in the hope that it will be useful,                 #
+#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
+#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
+#  GNU Lesser General Public License for more details.                   #
+#                                                                        #
+#  See the GNU Lesser General Public License version 2.1                 #
+#  for more details (enclosed in the file licenses/LGPLv2.1).            #
+#                                                                        #
+##########################################################################
 
 if git rev-parse --verify HEAD >/dev/null 2>&1
 then

headers/headache_config.txt

@@ -87,6 +87,12 @@
 | "frama-c.debug" -> frame open:"#"  line:"#" close:"#"
 | ".*frama-c.debug" -> skip match:"#!.*"
 
+#############
+# Git hooks #
+#############
+| "pre-commit" -> frame open:"#"  line:"#" close:"#"
+| ".*pre-commit" -> skip multiline_match: "#!.*" multiline_match: "# -\*-.*"
+
 ###############
 # Zsh scripts #
 ###############