From a0d536f92923853796e16ff40d56e09995d8eff6 Mon Sep 17 00:00:00 2001 From: Marc Fehling Date: Tue, 5 Apr 2022 12:53:46 -0600 Subject: [PATCH] Update link to wiki in `indent_common.sh`. --- contrib/utilities/indent_common.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.39.5