How to change default ssh port ?

[hlassiege]

Hi,

Is there an option in git-deliver to change the default ssh port ?

Thanks

[arnoo]

I suppose you could set the port in your ~/.ssh/config file :

Host example.com
Port 1234

I'll still mark this as a bug since git-deliver currently ignores port numbers in Git remote URLs.