From 216cf67c0e000d12d660990950ffabb48dd2f0bd Mon Sep 17 00:00:00 2001 From: Kamesh Akella Date: Tue, 17 Feb 2026 15:45:05 -0500 Subject: [PATCH 1/2] Update ORG_REPO extraction method in workflow ORG_REPO extraction only stripped https://github.com/ prefixes, fixing it to support all different git urls. fixes #295 --- .github/workflows/leaderboard.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/leaderboard.yml b/.github/workflows/leaderboard.yml index 9223e5cf..f7ab7fcd 100644 --- a/.github/workflows/leaderboard.yml +++ b/.github/workflows/leaderboard.yml @@ -88,7 +88,7 @@ jobs: REPO_URL: ${{ steps.extract.outputs.repo_url }} run: | # SAFE: REPO_URL comes from workflow output, not direct user input - ORG_REPO=$(echo "$REPO_URL" | sed 's|https://github.com/||' | sed 's|\.git$||') + ORG_REPO=$(echo "$REPO_URL" | sed 's|git@github.com:||' | sed 's|https://github.com/||' | sed 's|\.git$||') IS_PRIVATE=$(gh repo view "$ORG_REPO" --json isPrivate -q '.isPrivate') From 740166eb433275b9822dc2bfdde3a71c24df8e0e Mon Sep 17 00:00:00 2001 From: Kamesh Akella Date: Tue, 17 Feb 2026 15:48:27 -0500 Subject: [PATCH 2/2] Update ORG_REPO extraction method in workflow validate access step as well --- .github/workflows/leaderboard.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/leaderboard.yml b/.github/workflows/leaderboard.yml index f7ab7fcd..9f580d1a 100644 --- a/.github/workflows/leaderboard.yml +++ b/.github/workflows/leaderboard.yml @@ -106,7 +106,7 @@ jobs: SUBMITTER: ${{ github.event.pull_request.user.login }} run: | # SAFE: All values in environment variables - ORG_REPO=$(echo "$REPO_URL" | sed 's|https://github.com/||' | sed 's|\.git$||') + ORG_REPO=$(echo "$REPO_URL" | sed 's|git@github.com:||' | sed 's|https://github.com/||' | sed 's|\.git$||') if gh api "/repos/$ORG_REPO/collaborators/$SUBMITTER" 2>/dev/null; then echo "✅ $SUBMITTER is a collaborator on $ORG_REPO"