Git: push existing repo to a new and different remote repo server ¶

git push https://github.com/user/example [source_branch:destination_branch]

Resources:

• https://stackoverflow.com/questions/5181845/git-push-existing-repo-to-a-new-and-different-remote-repo-server#5181968

When using a remote ("staging" in the example below):

git push staging development:master

This command tells git that you want to push from your local development branch to the master branch of the staging remote.

Also: remember to recover tags:

git push --tags