[jrochkind1]

Github does let you change your username.

I imagine if support got back to you, they'd say "Yes, that was grandfathered in for backwards compatibilty, but that username is no longer allowed and won't always work with new services or functions, as you discovered. We recommend changing your username."

However, not getting a response is not encouraging, it's true.