How do I push to GitHub under a different username?

This worked for me, it will prompt for username and password

git config --local credential.helper ""
git push origin master