Changing to REPO_ID that exists

#5
by meg HF staff - opened

REPO_ID was given as leaderboard-backend . If you're following the demo instructions exactly, that repository doesn't exist. There are 2 relevant Spaces, one called 'leaderboard', the other called 'backend'. I think what is meant here is one or the other of those Space names.
Here, I'm guessing that 'leaderboard' is meant, as it would document for the user where the relevant leaderboard repository is.

Demo leaderboard with an integrated backend org

Hi! Nope, it's backend, it's a parameter for the restart of this space as needed (you need to tell the space who it is for it to restart itself). But I'll fix it the other way around :)

clefourrier changed pull request status to closed

Sign up or log in to comment