Idea: so if username isn't here it fallback to GitHub π
Basically you can mention someone if it's not here 404 username will he redirected to GitHub usename π
That was we can also support mentions in bio (like @paulinevos has) and even release notes will fall back to GitHub!
Commit
c9c1dc8
Also if user joins in future he/she will join via GitHub username anyways π
commit c9c1dc8