Merge pull request #13594 from marcfehling/author-wiki

Update link to wiki in `indent_common.sh`.
dealii · Apr 7, 2022 · 0d07d61 · 0d07d61
2 parents 945229e + a0d536f
commit 0d07d61
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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