fix: handle concurrent push rejection in generate-leaderboard workflow#13

Copilot wants to merge 2 commits intomainalphaonelabs/gsoc:mainfrom

copilot/fix-push-rejection-erroralphaonelabs/gsoc:copilot/fix-push-rejection-errorCopy head branch name to clipboard