From af80905f317f429e3fb0f42838fccf4ad5d36fb9 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 2 Mar 2026 03:11:49 +0000
Subject: [PATCH 1/2] Initial plan


From 6aa12da0f31e3f6ed9e95f991b0f8d1111b2d30a Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 2 Mar 2026 03:13:23 +0000
Subject: [PATCH 2/2] fix: pull --rebase before push in generate-leaderboard
 workflow

Co-authored-by: A1L13N <193832434+A1L13N@users.noreply.github.com>
---
 .github/workflows/generate-leaderboard.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/generate-leaderboard.yml b/.github/workflows/generate-leaderboard.yml
index 5187b7a..8f85ae5 100644
--- a/.github/workflows/generate-leaderboard.yml
+++ b/.github/workflows/generate-leaderboard.yml
@@ -39,4 +39,5 @@ jobs:
           fi
           git add data/leaderboard.json
           git commit -m "chore: update leaderboard data"
+          git pull --rebase --autostash origin main || (echo "Rebase failed due to conflicts" && exit 1)
           git push
\ No newline at end of file