DOC: improve release documentation

Documentation/For_ops/Realese/HOWTO_Create_a_release.md

@@ -14,7 +14,7 @@ Once the code in `develop`  is ready, merge into `master` like follows:
 ```sh
 git checkout master
 MYTAG="vX.Y.Z"
-git merge develop --no-ff -m "Comptoir $MYTAG"
+git merge develop --no-ff --no-verify -m "Comptoir $MYTAG"
 git tag -a $MYTAG -m "$MYTAG"
 git push origin master
 git push origin $MYTAG