]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Update link to wiki in `indent_common.sh`. 13594/head
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 5 Apr 2022 18:53:46 +0000 (12:53 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Tue, 5 Apr 2022 18:53:46 +0000 (12:53 -0600)
contrib/utilities/indent_common.sh

index 540122d8e6d70e08bcaf6f00f14fb03e7a2b43e1..a171d9a7fe68154a020a3c242ed3243aaa255c33 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.