diff options
| -rwxr-xr-x | extra/release/update-contributors.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extra/release/update-contributors.sh b/extra/release/update-contributors.sh index fe896b64..880752a8 100755 --- a/extra/release/update-contributors.sh +++ b/extra/release/update-contributors.sh @@ -12,13 +12,13 @@ function main() git log "$(git describe --abbrev=0)..HEAD" --pretty='format:%cN%n%aN' > "$new_contributors" awk '/^ \* / { split($0, cols, " \\* "); print(cols[2]); }' "$(path_in_repo CONTRIBUTORS.md)" | { - grep -F -x -v -f "$new_contributors" + grep -F -x -v -f- "$new_contributors" } | { local grep_patterns=( - GitHub + -e GitHub ) grep -F -x -v "${grep_patterns[@]}" - } > "$new_contributors.filtered" + } | sort -u > "$new_contributors.filtered" awk '{printf(" * %s\n", $0)}' "$new_contributors.filtered" >> "$(path_in_repo CONTRIBUTORS.md)" } main "$@" |