From: David Wells 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=refs%2Fpull%2F13785%2Fhead;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:"