Add trac and github usernames for a bunch of users

sagemath / website

Source for https://www.sagemath.org/; submit Issues/PRs here to update the website

39 stars 179 forks source link

Closed roed314 closed 2 years ago

mkoeppe commented 2 years ago

Thanks a lot for this!

haraldschilly commented 2 years ago

there was a small merge conflict, but I fixed it and now all PRs are closed and master branch is in good shape :1st_place_medal: