Add link to user profiles

#4
by osanseviero HF staff - opened
Huggingface Projects org

Clicking "lunarflu" could open lunarflu's profile

lunarflu changed discussion status to closed

@lunarflu the format for the tag is basically <@user_id> the problem here is how are we going to reformat the message in the #leaderboard channel, anyways good luck guys ✨

Sign up or log in to comment