Skip to content

Fix leaderboard workflow: rename secret to GIT_PAT, add schedule trigger, fix push permissions#7

Merged
jaseel0 merged 2 commits intomainfrom
copilot/add-leaderboard-automation-system
Mar 9, 2026
Merged

Fix leaderboard workflow: rename secret to GIT_PAT, add schedule trigger, fix push permissions#7
jaseel0 merged 2 commits intomainfrom
copilot/add-leaderboard-automation-system

Commits

Commits on Mar 9, 2026