GIT Push mit anderen User

Wenn man mal schnell mit einem anderen User zu github.com was push will/muss:

git push https://{username}@github.com/{repositoryBesitzer}/{repositoryName}.git {branch}:{branch}

gefunden bei StackOverflow