Fix script for updating contributors

Hotant-Bu · Nov 20, 2022 · dfbb004 · dfbb004
1 parent 82af0ea
commit dfbb004
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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 "$@"