Yep, you merge locally in another branch, name it something like "fix_namechange_try2" and push the new branch to github.  I'll close this one now.  Thanks!