How to switch git user at terminal?
I am trying to push a project to a remote repository from the command line. From inside my local directory, I hit: $ git push and obtain the following error: remote: Permission to username1/rep...