I'm trying to pull changes from a server which has sshd on port 2345 and an hg server listening locally on port 5432. I already have certifcate-based authentication for ssh, so there no need for a password.
This doesn't work:
hg -v pull ssh://[email protected]:2345/ -p 5432
since the pull command apparently takes the port number from where I assumed ssh would be taking it...
Any ideas how to do this?