pull and push to ssh server with no default port

* remote_split : split remote string in remote url and port