diff options
author | Joseph Herlant <herlantj@gmail.com> | 2018-05-25 22:07:07 -0700 |
---|---|---|
committer | Joseph Herlant <aerostitch@users.noreply.github.com> | 2018-05-25 22:17:50 -0700 |
commit | 41a1264cdd43a11695de85eab0bd3c941abf2b70 (patch) | |
tree | 3da1ef3bebc674807258ae824ff9156a64adf370 /scripts/generate_contributors.sh | |
parent | 8a76acb966f7059caf9d72c853175bd923b1e9d7 (diff) | |
download | navit-41a1264cdd43a11695de85eab0bd3c941abf2b70.tar.gz |
cleanup:cmake:remove trailing spaces
Diffstat (limited to 'scripts/generate_contributors.sh')
-rw-r--r-- | scripts/generate_contributors.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/generate_contributors.sh b/scripts/generate_contributors.sh index b957d486d..cec9c4511 100644 --- a/scripts/generate_contributors.sh +++ b/scripts/generate_contributors.sh @@ -21,12 +21,12 @@ git log --encoding=utf-8 --full-history --date=short --use-mailmap "--format=for IFS=';'; arrLine=($line); unset IFS; author=${arrLine[1]} commitDate=`date +%s --date="${arrLine[0]}"` - + # Exclude circleci if [[ $author =~ [Cc]ircle\s*[Cc][Ii] ]]; then continue fi - + # indicates that the commits are now older than 2 years so we print the # sorted list of active contributors and reset the authors array if [ "$retiredTitleWritten" = false ]; then @@ -38,7 +38,7 @@ git log --encoding=utf-8 --full-history --date=short --use-mailmap "--format=for retiredTitleWritten=true fi fi - + # using the map as an easy way to check if the author has already been listed if [ -z "${CONTRIBUTORS[${author}]}" ]; then CONTRIBUTORS[${author}]=${arrLine[0]} |