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
6a1ff7a
I like this. Also we should figure out a way to make github orgs fit into this somehow.
Can you check this RFC: https://dev-null.sh/@mnapoli/commits/01a1605f-5b83-72a5-a523-1a543d8478a4
/dev/nullMatthieu Napoli (@mnapoli) on /dev/null: “We are working on "spaces" for communities to gather and talk. What…”We are working on "spaces" for communities to gather and talk. What about using GitHub orgs for that? Here is a RFC for /dev/null please participate: github.com/nunomaduro/dev-nul…
commit 6a1ff7a