]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add an exception for commits from dependabot. 13785/head
authorDavid Wells <drwells@email.unc.edu>
Sun, 22 May 2022 23:09:05 +0000 (19:09 -0400)
committerDavid Wells <drwells@email.unc.edu>
Sun, 22 May 2022 23:09:05 +0000 (19:09 -0400)
contrib/utilities/indent_common.sh

index 9bd1b0bcccfea58c24b6cdf8df5a97107fce69d2..cca63659d3aad249a5960a06bef337fe39c905ee 100644 (file)
@@ -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:"

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.