Is there a way to automatically assign roles based on leaderboard position?
For example, the top 10 discord members on the leaderboard all get the role "pro" automatically. If one of those members is overtaken and falls out of top 10, they lose the role and whoever overtook them then gets it.
