From 7c74b88dcd3e0a5d87f31e0eba0f14d74ee95ee6 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 11 Jun 2017 11:45:42 +0200 Subject: [PATCH] another insider trick --- doc/doxygen/inside.doc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/doxygen/inside.doc b/doc/doxygen/inside.doc index d39e3d2784..03e3270ceb 100644 --- a/doc/doxygen/inside.doc +++ b/doc/doxygen/inside.doc @@ -36,4 +36,7 @@ git will say so, and provide a ready to use patch that you can apply to improve your commit. Just carefully read the error message you get to find the exact command with git-apply to fix your formating. +If you find that for a specific commit, the formatter does a very bad +job, then add --no-verify to your git commit command line. + */ -- 2.20.1