Redirect GitHub ID to Username

Scratching my own itch here...

GitHub users have a username (mine is @edent) and have a user ID number (mine is #837136).

If you want to redirect a user ID to a username, you can use the little service I've cobbled together:

https://edent.github.io/github_id/#837136

That will take your browser to my GitHub page, using nothing but my ID.

Why?

• Some login services only give you the GitHub user's ID.
• GitHub users can change their username - but their ID stays the same.

How?

Inspired by Caius Durling's useful GitHub username to ID service.

Mine is a scrap of JavaScript which uses this undocumented endpoint to get user info.

 JAVASCRIPT<script type="text/javascript" charset="utf-8">
function get_github_name_for(id) {
    $.getJSON('https://api.github.com/user/' + id + "?callback=?", 
    function(json){
        var github_user_url = json["data"]["html_url"]
        window.location.replace(github_user_url)
        return false
    });
}
$(document).ready(function() {
    if (document.location.hash) {
        var id = document.location.hash.match(/^#(.*?)$/)[1]
        get_github_name_for(id)
    }
});
</script>

Feel free to copy it, or use https://edent.github.io/github_id/#837136 as a handy little webservice.