From 62b2959c0e1c5cfc91e0913bdfd3967e6813a45c Mon Sep 17 00:00:00 2001
From: Andrew Zhu <me@andrew-zhu.com>
Date: Sat, 6 Jul 2024 13:20:03 -0700
Subject: [PATCH] build: fix leaderboard script checking out wrong repo on
 forks

---
 .github/workflows/leaderboard-submission.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/leaderboard-submission.yml b/.github/workflows/leaderboard-submission.yml
index 509bc04..40237e7 100644
--- a/.github/workflows/leaderboard-submission.yml
+++ b/.github/workflows/leaderboard-submission.yml
@@ -27,6 +27,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           path: _pr_submission
+          repository: ${{ github.event.pull_request.head.repo.full_name }}
           ref: ${{ github.head_ref }}
 
       # copy submission files over to main repo