Modify username display

redteaming-arena / redteam-arena

30 stars 5 forks source link

Open nivesnine opened 2 months ago

nivesnine commented 2 months ago

Usernames are displayed publicly on the leaderboard, can we drop everything after "@" if it's an email? so that emails don't show up

infwinston commented 2 months ago

@nivesnine Thanks for reporting the issue. Your proposal makes sense and we welcome your contribution!

aangelopoulos commented 1 month ago

@nivesnine Agree with your comment! Do you want to PR?