how-do-i-push-to-github-under-a-different-username
https://stackoverflow.com/questions/13103083/how-do-i-push-to-github-under-a-different-username
https://github.community/t/git-bash-still-pushes-repo-with-old-username/471/5
Solution 1.
Locally:
git config credential.username "new_username"
Globally:
git config --global credential.username "new_username"
Solution 2. (In case solution 1 doesn’t work):
git remote set-url origin "https://new_username@github.com/new_username/github-repository-name.git