search

brain-web / brain-web.github.io

A permanent online space for the community to meet&matcha, work&watermelon, catch up&coffee.
https://brain-web.github.io
21 stars 10 forks source link

display_name is not set for some users #14

Closed r03ert0 closed 4 years ago

r03ert0 commented 4 years ago

We use Github's display_name for the network, and some people do not have it configured. Plus, there could be cases were 2 people have the same display_name. It'd be better to use the github_id number or username for identifying the users, and display_name only for annotation. In that way, even if one user decides to change their display_name, the network will hold. Practically, this means storing uid, name and skills, instead of only name and skills. A few lines of python should help to update the existing data.

r03ert0 commented 4 years ago

the DB now uses github UID (the number, not the string) for indexing users