From: Marc Fehling 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=refs%2Fpull%2F13594%2Fhead;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