Scratching my own itch here...
GitHub users have a username (mine is
@edent) and have a user ID number (mine is
If you want to redirect a user ID to a username, you can use the little service I've cobbled together:
That will take your browser to my GitHub page, using nothing but my ID.
- Some login services only give you the GitHub user's ID.
- GitHub users can change their username - but their ID stays the same.
Feel free to copy it, or use https://edent.github.io/github_id/#837136 as a handy little webservice.