Update link to wiki in `indent_common.sh`.

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 540122d8e6d70e08bcaf6f00f14fb03e7a2b43e1..a171d9a7fe68154a020a3c242ed3243aaa255c33 100644 (file)
--- a/contrib/utilities/indent_common.sh
+++ b/contrib/utilities/indent_common.sh
@@ -87,7 +87,7 @@ checks() {
          echo "invalid author '$name' without firstname and lastname"
          echo ""
          echo "hint: for possible solutions, consult the webpage:"
-         echo "      https://github.com/dealii/dealii/wiki/Indentation#commit-authorship"
+         echo "      https://github.com/dealii/dealii/wiki/Commit-authorship"
          exit 2
       fi
   done || exit 2
@@ -99,14 +99,14 @@ checks() {
          echo "invalid email '$email'"
           echo ""
           echo "hint: for possible solutions, consult the webpage:"
-          echo "      https://github.com/dealii/dealii/wiki/Indentation#commit-authorship"
+          echo "      https://github.com/dealii/dealii/wiki/Commit-authorship"
          exit 3
       fi
       if ! echo "$email" | grep -q -v -e "\.local$"; then
          echo "invalid email '$email'"
           echo ""
           echo "hint: for possible solutions, consult the webpage:"
-          echo "      https://github.com/dealii/dealii/wiki/Indentation#commit-authorship"
+          echo "      https://github.com/dealii/dealii/wiki/Commit-authorship"
          exit 3
       fi
   done || exit 3