Leaderboards generator improvements.#886

Andrei-Dolgolev wants to merge 1 commit intomainmoonstream-to/api:mainfrom

leaderboard-generator-threadsmoonstream-to/api:leaderboard-generator-threadsCopy head branch name to clipboard