Skip to content

Update contribution counting script #1611

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
dudejas wants to merge 2 commits into
base: main
Choose a base branch
from
+212 −46
Draft

Update contribution counting script #1611

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
c253d5c
Improve contributions-for-user.sh: surface authored PRs, group commit…
Ivaylogi98 Jun 25, 2026
3135782
refactor
dudejas Aug 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
258 changes: 212 additions & 46 deletions toc/working-groups/contributions-for-user.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,15 @@
#!/bin/bash
#!/usr/bin/env bash

set -e -o pipefail

# Requires bash 4+ for associative arrays. macOS ships bash 3.2 at /bin/bash —
# install a modern bash (e.g. via Homebrew) so that `env bash` resolves to 4+.
if (( BASH_VERSINFO[0] < 4 )); then
echo "This script requires bash 4 or newer (found ${BASH_VERSION})." >&2
echo "On macOS: brew install bash, then re-run." >&2
exit 1
fi

repo_root=$(dirname "$(cd "$( dirname "${BASH_SOURCE[0]}" )/.." && pwd)")

pushd "${repo_root}/toc/working-groups" >/dev/null
Expand Down Expand Up @@ -71,60 +79,178 @@ usage_checks() {
fi
}

find_commits_for_repo() {
emit_pr_with_commits() {
local repo=$1 pr_number=$2 pr_title=$3 pr_url=$4 pr_date=$5
echo "- ${pr_date}: [${pr_title}](${pr_url})"
local pr_commits
if pr_commits=$(gh api --paginate "repos/${repo}/pulls/${pr_number}/commits?per_page=100" 2>/dev/null); then
local pr_commit_count
pr_commit_count=$(echo "${pr_commits}" | yq -oj -r '. | length')
if [[ "${pr_commit_count}" -gt 1 ]]; then
echo "${pr_commits}" | yq -oj -I=0 -r '
.[] |
" - " + .commit.author.date + ": [" + ((.commit.message | split("\n"))[0]) + "](" + .html_url + ")"
'
fi
fi
}

find_commits_grouped_by_pr_for_repo() {
local user=$1
local repo=$2
local -A seen=()

if commits=$(gh api --paginate "repos/${repo}/commits?author=${user}&per_page=100" 2>/dev/null); then
echo "${commits}" | interactions=$(yq -oj -I=0 -r '
.[] |
"- " + .commit.author.date + ": [" + (.commit.message | split("\n")[0]) + "](" + .html_url + ")"
') yq -oj -r '(select(strenv(interactions) == "- ") | . = "") // strenv(interactions)'
# Primary: GitHub search API for merged PRs authored by user
local prs
if prs=$(gh api --paginate "search/issues?q=repo:${repo}+type:pr+author:${user}+is:merged&per_page=100" 2>/dev/null); then
local total
total=$(echo "${prs}" | yq -oj -r '.total_count' | head -1)
if [[ "${total:-0}" -gt 1000 ]]; then
echo " WARNING: ${repo}: ${total} merged PRs found; GitHub search caps at 1000 — some may be missing" >&2
fi
while IFS=$'\t' read -r pr_number pr_title pr_url pr_date; do
[[ -z "${pr_number}" ]] && continue
seen[${pr_number}]=1
emit_pr_with_commits "${repo}" "${pr_number}" "${pr_title}" "${pr_url}" "${pr_date}"
done < <(echo "${prs}" | yq -oj -r '.items[] | [(.number | tostring), .title, .html_url, .created_at] | @tsv')
fi
if commits=$(gh api --paginate "repos/${repo}/commits?committer=${user}&per_page=100" 2>/dev/null); then
echo "${commits}" | interactions=$(yq -oj -I=0 -r '
.[] |
"- " + .commit.committer.date + ": [" + (.commit.message | split("\n")[0]) + "](" + .html_url + ")"
') yq -oj -r '(select(strenv(interactions) == "- ") | . = "") // strenv(interactions)'

# Supplement: events fallback for very recent merged PRs the search index hasn't picked up yet.
# Only emit one event per PR number (events can contain many actions for the same PR).
while IFS=$'\t' read -r pr_number pr_title pr_url pr_date; do
[[ -z "${pr_number}" ]] && continue
[[ -n "${seen[${pr_number}]+x}" ]] && continue
seen[${pr_number}]=1
emit_pr_with_commits "${repo}" "${pr_number}" "${pr_title}" "${pr_url}" "${pr_date}"
done < <(echo "${EVENTS_JSON}" | user="${user}" repository="${repo}" yq -oj -r '
.[]
| select(.type == "PullRequestEvent")
| select(.repo.name == strenv(repository))
| select(.payload.action == "closed")
| select(.payload.pull_request.user.login == strenv(user))
| select(.payload.pull_request.merged == true)
| [(.payload.number | tostring), .payload.pull_request.title, .payload.pull_request.html_url, .payload.pull_request.created_at] | @tsv
')
}

find_authored_prs_for_repo() {
local user=$1
local repo=$2
local -A seen=()

# Primary: GitHub search API
local prs
if prs=$(gh api --paginate "search/issues?q=repo:${repo}+type:pr+author:${user}&per_page=100" 2>/dev/null); then
local total
total=$(echo "${prs}" | yq -oj -r '.total_count' | head -1)
if [[ "${total:-0}" -gt 1000 ]]; then
echo " WARNING: ${repo}: ${total} authored PRs found; GitHub search caps at 1000 — some may be missing" >&2
fi
while IFS= read -r num; do seen[${num}]=1; done < <(echo "${prs}" | yq -oj -r '.items[].number')
echo "${prs}" | yq -oj -r '.items[] | "- " + .created_at + ": [" + .title + "](" + .html_url + ") (" + .state + ")"'
fi

# Supplement: targeted single-PR lookup for any PRs visible in events that search missed.
# Filter to action=="opened" so we hit the API at most once per PR, not once per event.
while IFS= read -r pr_json; do
[[ -z "${pr_json}" ]] && continue
local num
num=$(echo "${pr_json}" | yq -oj -r '.payload.number')
[[ -n "${seen[${num}]+x}" ]] && continue
seen[${num}]=1
local pr_detail
if pr_detail=$(gh api "repos/${repo}/pulls/${num}" 2>/dev/null); then
echo "${pr_detail}" | yq -oj -r '"- " + .created_at + ": [" + .title + "](" + .html_url + ") (" + .state + ")"'
fi
done < <(echo "${EVENTS_JSON}" | user="${user}" repository="${repo}" yq -oj -I=0 -r '
.[]
| select(.type == "PullRequestEvent")
| select(.payload.action == "opened")
| select(.repo.name == strenv(repository))
| select(.payload.pull_request.user.login == strenv(user))
')
}

find_prs_for_repo() {
local user=$1
local repo=$2

# Use GitHub Search API to find PRs reviewed by the user
# PRs reviewed by the user (excluding own)
if prs=$(gh api --paginate "search/issues?q=repo:${repo}+type:pr+reviewed-by:${user}&per_page=100" 2>/dev/null); then
echo "${prs}" | interactions=$(yq -oj -I=0 -r '
echo "${prs}" | user="${user}" yq -oj -I=0 -r '
.items[]
| select(.user.login != strenv(user))
| "- " + .created_at + ": [" + .title + "](" + .html_url + ")"
') yq -oj -r '(select(strenv(interactions) == "- ") | . = "") // strenv(interactions)'
'
fi

# Also check for PRs with review comments
# PRs commented on by the user (excluding own PRs)
if prs=$(gh api --paginate "search/issues?q=repo:${repo}+type:pr+commenter:${user}&per_page=100" 2>/dev/null); then
echo "${prs}" | interactions=$(user="${user}" yq -oj -I=0 -r '
echo "${prs}" | user="${user}" yq -oj -I=0 -r '
.items[]
| select(.user.login != strenv(user))
| "- " + .created_at + ": [" + .title + "](" + .html_url + ")"
') yq -oj -r '(select(strenv(interactions) == "- ") | . = "") // strenv(interactions)'
'
fi

# Fallback to events for recent activity
echo "${EVENTS_JSON}" | interactions=$(repository="${repo}" yq -oj -I=0 -r '
# Fallback to events for recent activity (covers the 90-day window)
echo "${EVENTS_JSON}" | repository="${repo}" yq -oj -I=0 -r '
.[]
| select(.type == "PullRequestReviewEvent")
| select(.repo.name == strenv(repository))
| "- " + .payload.pull_request.created_at + ": [" + .payload.pull_request.title + "](" + .payload.pull_request.html_url + ")"
') yq -oj -r '(select(strenv(interactions) == "- ") | . = "") // strenv(interactions)'
'

echo "${EVENTS_JSON}" | interactions=$(user="${user}" repository="${repo}" yq -oj -I=0 -r '
echo "${EVENTS_JSON}" | user="${user}" repository="${repo}" yq -oj -I=0 -r '
.[]
| select(.type == "PullRequestReviewCommentEvent")
| select(.repo.name == strenv(repository))
| select(.payload.pull_request.user.login != strenv(user))
| "- " + .payload.pull_request.created_at + ": [" + .payload.pull_request.title + "](" + .payload.pull_request.html_url + ")"
') yq -oj -r '(select(strenv(interactions) == "- ") | . = "") // strenv(interactions)'
'
}

find_commits_on_others_prs_for_repo() {
local user=$1
local repo=$2

local commits
if ! commits=$(gh api --paginate \
"search/commits?q=author:${user}+repo:${repo}&per_page=100" 2>/dev/null); then
return
fi

local total
total=$(echo "${commits}" | yq -oj -r '.total_count' | head -1)
if [[ "${total:-0}" -gt 1000 ]]; then
echo " WARNING: ${repo}: ${total} commits found; GitHub search caps at 1000 — some may be missing" >&2
fi

# Fetching the PR(s) for each commit SHA requires one API call per commit.
# Cap at MAX_COMMIT_LOOKUPS to avoid rate-limit exhaustion on active repos.
local -r MAX_COMMIT_LOOKUPS=50
local -A seen=()
local count=0

while IFS= read -r sha; do
[[ -z "${sha}" ]] && continue
(( count++ )) || true
if [[ "${count}" -gt "${MAX_COMMIT_LOOKUPS}" ]]; then
echo " NOTE: ${repo}: more than ${MAX_COMMIT_LOOKUPS} commits; remaining skipped to avoid rate-limit exhaustion" >&2
break
fi
local prs_for_commit
if ! prs_for_commit=$(gh api --paginate "repos/${repo}/commits/${sha}/pulls" 2>/dev/null); then
continue
fi
while IFS=$'\t' read -r pr_author pr_number pr_title pr_url pr_date; do
[[ -z "${pr_author}" ]] && continue
[[ "${pr_author}" == "${user}" ]] && continue
[[ -n "${seen[${pr_number}]+x}" ]] && continue
seen[${pr_number}]=1
echo "- ${pr_date}: [${pr_title}](${pr_url}) (by ${pr_author})"
done < <(echo "${prs_for_commit}" | yq -oj -r '.[] | [.user.login, (.number | tostring), .title, .html_url, .created_at] | @tsv')
done < <(echo "${commits}" | yq -oj -I=0 -r '.items[].sha')
}

find_issues_for_repo() {
Expand Down Expand Up @@ -159,6 +285,9 @@ find_issues_for_repo() {
usage_checks
set -u

# Normalize to the canonical GitHub login (search API is case-sensitive for author:/reviewed-by:)
USERNAME=$(gh api "users/${USERNAME}" --jq '.login' 2>/dev/null || echo "${USERNAME}")

echo "Gathering GH events..."
EVENTS_JSON=$(gh api --paginate "users/${USERNAME}/events?per_page=100")

Expand All @@ -171,33 +300,70 @@ areas=($(echo "${TOC_JSON}" | wg_name="${WORKING_GROUP}" yq -oj -r -I=0 -r "

for area in "${areas[@]}"; do
echo "Gathering contributions for the '${WORKING_GROUP}: ${area}' area..."
uri_safe_file=$(echo "${wg} - ${area}.md" | yq -oj -I=0 -r '@uri' | sed -E 's/\%20|\+|\%28/\ /g' | sed -E 's/\%0A|\%29//g' | sed 's/%2F/and/g')
uri_safe_file=$(echo "${WORKING_GROUP} - ${area}.md" | yq -oj -I=0 -r '@uri' | sed -E 's/\%20|\+|\%28/\ /g' | sed -E 's/\%0A|\%29//g' | sed 's/%2F/and/g')

repos=($(echo "${TOC_JSON}" | wg_name="${WORKING_GROUP}" area="${area}" yq -oj -I=0 -r '
.[]
| select(.name == strenv(wg_name))
| .areas[]
| select(.name == strenv(area))
| .repositories[]
'))

authored_prs=$(
for repo in "${repos[@]}"; do
find_authored_prs_for_repo "${USERNAME}" "${repo}"
done | sort -u
)

reviewed_prs=$(
for repo in "${repos[@]}"; do
find_prs_for_repo "${USERNAME}" "${repo}"
done | sort -u
)

issues_content=$(
for repo in "${repos[@]}"; do
find_issues_for_repo "${USERNAME}" "${repo}"
done | sort -u
)

commits_content=$(
for repo in "${repos[@]}"; do
find_commits_grouped_by_pr_for_repo "${USERNAME}" "${repo}"
done
)

commits_on_others=$(
for repo in "${repos[@]}"; do
find_commits_on_others_prs_for_repo "${USERNAME}" "${repo}"
done | sort -u
)

# Skip areas with no contributions at all
if [[ -z "${authored_prs}" && -z "${reviewed_prs}" && -z "${issues_content}" && -z "${commits_content}" && -z "${commits_on_others}" ]]; then
echo " No contributions found for '${WORKING_GROUP}: ${area}', skipping."
continue
fi

gist_url=$(
(
echo "# ${WORKING_GROUP}: ${area} Contributions"
declare -a repos
repos=($(echo "${TOC_JSON}" | wg_name="${WORKING_GROUP}" area="${area}" yq -oj -I=0 -r '
.[]
| select(.name == strenv(wg_name))
| .areas[]
| select(.name == strenv(area))
| .repositories[]
'))

echo "### PRs Commented on/Reviewed:"
for repo in "${repos[@]}"; do
find_prs_for_repo "${USERNAME}" "${repo}"
done | sort -u

echo
echo "### PRs Authored:"
echo "${authored_prs:-(none found)}"
echo
echo "### PRs Reviewed/Commented on:"
echo "${reviewed_prs:-(none found)}"
echo
echo "### Commits on others' PRs:"
echo "${commits_on_others:-(none found)}"
echo
echo "### Issues that may be relevant:"
for repo in "${repos[@]}"; do
find_issues_for_repo "${USERNAME}" "${repo}"
done | sort -u

echo "### Code contributions:"
for repo in "${repos[@]}"; do
find_commits_for_repo "${USERNAME}" "${repo}"
done | sort -u
echo "${issues_content:-(none found)}"
echo
echo "### Code contributions (merged PRs):"
echo "${commits_content:-(none found)}"
echo
) | gh gist create -d "${USERNAME}'s Possible Contributions to ${WORKING_GROUP} - ${area}" -f "${uri_safe_file}" - 2>/dev/null
)
Expand Down