leaderboard: fix typo

fxnn · fxnn · commit 959cea9e0fc7 · 2024-12-18T18:09:01.000+01:00
diff --git a/leaderboard-fetch.sh b/leaderboard-fetch.sh
@@ -22,7 +22,7 @@ curl \
   + "https://img.shields.io/badge/"
   + (.stars | tostring)
   + "-%E2%AD%90_stars-gold) "
-  + user **" 
+  + "user **" 
   + .name 
   + "** (" 
   + "last one at " 
