From: Marc Fehling <mafehling.git@gmail.com>
Date: Tue, 5 Apr 2022 18:53:46 +0000 (-0600)
Subject: Update link to wiki in `indent_common.sh`.
X-Git-Tag: v9.4.0-rc1~330^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a0d536f92923853796e16ff40d56e09995d8eff6;p=dealii.git

Update link to wiki in `indent_common.sh`.
---

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 540122d8e6..a171d9a7fe 100644
--- 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