Git push to remote

Just a note, this is the way to push the current branch to a branch on a remote git repository using ssh trough non default port: git push ssh://remote_user@domain.com:remote_port/~/remote_repository remote_branch