From: David Wells <drwells@email.unc.edu>
Date: Sun, 22 May 2022 23:09:05 +0000 (-0400)
Subject: Add an exception for commits from dependabot.
X-Git-Tag: v9.4.0-rc1~179^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b95c3833770af723986cb97dcfaa43ac6961390;p=dealii.git

Add an exception for commits from dependabot.
---

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 9bd1b0bccc..cca63659d3 100644
--- a/contrib/utilities/indent_common.sh
+++ b/contrib/utilities/indent_common.sh
@@ -83,7 +83,7 @@ checks() {
   # first user names:
   git log --since "2019-01-01" --format="%aN" --no-merges | sort -u | while read name ; do
       words=($name)
-      if [ "${#words[@]}" -lt "2" ]; then
+      if [ "${#words[@]}" -lt "2" -a "$name" != "dependabot[bot]" ]; then
 	  echo "invalid author '$name' without firstname and lastname"
 	  echo ""
 	  echo "hint: for possible solutions, consult the webpage:"