Make filters shareable #10

by BramVanroy - opened

It would be nice if we can share a leaderboard for a specific config, split, metric, or task. Now the URL only changes when you change dataset, so it is not possible to create a link for, e.g., a specific config.

I agree, great idea! Will put this on my TODO. Feel free to bug me again if I don't get to this in a week

Oh, and add version to that list! Or should I make a separate issue for that? It isn't part of the filters yet.

Everything except dataset version is now shareable!