To see all the remote repositories: git remote -v
To add a remote (eg. named tokyo): git remote add tokyo git@remote_server:path-toproject/project.git
To remove a remote : git remote rm tokyo
To see details on a remote:
git remote show tokyo
git remote show origin
The base push command is: git push {remote} {branch}
We usually do: git push origin master
or simply git push
if the origin is tracked.
To push to a different repository than the one that is tracked (eg. tokyo) we do:
git push tokyo master
git push tokyo develop
git push tokyo feature-branch
...