Wow, I'm impressed, Github. You also fixed the problem for users whose user names are numbers#. Two birds, one stone!
# Originally, gist.github.com/abc was the gist page for a user, and gist.github.com/123 was a gist URL. Numeric users were brought to unrelated gists of that ID.