]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Ignore merge commits in author check 9483/head
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 6 Feb 2020 05:00:42 +0000 (23:00 -0600)
committerDaniel Arndt <arndtd@ornl.gov>
Thu, 6 Feb 2020 05:01:16 +0000 (23:01 -0600)
contrib/utilities/indent_common.sh

index 8861f659c7fe8cc04e82f06281c68a9f02f9f7bc..57c5c0d9b0276b1ffff35c9526308ad75e318c12 100644 (file)
@@ -82,7 +82,7 @@ checks() {
   # Finally, to stay sane, just go back until the beginning of 2019 for now.
   #
   # first user names:
-  git log --since "2019-01-01" --format="%aN" | sort -u | while read name ; do
+  git log --since "2019-01-01" --format="%aN" --no-merges | sort -u | while read name ; do
       words=($name)
       if [ "${#words[@]}" -lt "2" ]; then
          echo "invalid author '$name' without firstname and lastname"
@@ -94,7 +94,7 @@ checks() {
   done || exit 2
 
   # now emails:
-  git log --since "2019-01-01" --format="%aE" | sort -u | while read email ; do
+  git log --since "2019-01-01" --format="%aE" --no-merges | sort -u | while read email ; do
       words=($name)
       if ! echo "$email" | grep -q "\."; then
          echo "invalid email '$email'"

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.