Add an exception for commits from dependabot.

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 9bd1b0bcccfea58c24b6cdf8df5a97107fce69d2..cca63659d3aad249a5960a06bef337fe39c905ee 100644 (file)
--- 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:"