fix: filter bot accounts from contributors list

Add automatic bot filtering to update-contributors.sh:
- Skip logins ending with [bot] suffix
- Skip accounts with GitHub API type "Bot"

Remove duplicate pullfrog[bot] entries from contributors-list.md.

Closes #3764

Author: pullfrog[bot]

docs/.contributorsignore

@@ -1,3 +1,5 @@
+# Accounts with a [bot] suffix are filtered automatically by the script.
+# The entries below are kept as an extra safeguard.
 dependabot-preview[bot]
 dependabot[bot]
 github-actions[bot]

docs/partials/contributors-list.md

@@ -115,6 +115,4 @@
 - [jcx0](https://github.com/jcx0)
 - [maxdew-envelio](https://github.com/maxdew-envelio)
 - [nnzhadow](https://github.com/nnzhadow)
-- [pullfrog[bot]](https://github.com/pullfrog[bot])
-- [pullfrog[bot]](https://github.com/pullfrog[bot])
 - [renoschubert](https://github.com/renoschubert)

scripts/update-contributors.sh

@@ -69,10 +69,12 @@ while :; do
   jq -r '.[].author | select(.login != null) | .login' "$TMP_JSON" | sort -u > "$TMP_LOGINS"
 
   while read -r login; do
+    if [[ "$login" == *"[bot]" ]]; then
+      continue
+    fi
+
     if ! grep -Fxq "$login" "$EXCLUDED_FILE"; then
       if ! printf '%s\n' "${USERS[@]}" | grep -qx "$login"; then
-        USERS+=("$login")
-
         CACHE_FILE="$CACHE_DIR/$login.json"
         if [ -f "$CACHE_FILE" ]; then
           USER_JSON=$(<"$CACHE_FILE")
@@ -83,6 +85,13 @@ while :; do
         fi
 
         SANITIZED_JSON=$(echo "$USER_JSON" | tr -d '\000-\037')
+
+        USER_TYPE=$(jq -r '.type // "User"' <<< "$SANITIZED_JSON")
+        if [[ "$USER_TYPE" == "Bot" ]]; then
+          continue
+        fi
+
+        USERS+=("$login")
         NAME=$(jq -r '.name // empty' <<< "$SANITIZED_JSON")
         echo "$login|$NAME" >> "$TMP_USERS"
       fi