CI: pre-commit git hook
We need a hook that will put the [#issue number] in the commit message automatically. @fdupont may have such a script already.
We need a hook that will put the [#issue number] in the commit message automatically. @fdupont may have such a script already.