Add ssh port option for serverwebroot parameter
When using fdroid server update
, It doesn't currently appear to be possible to specify the remote server's SSH port (or at least, it's not documented anywhere that I've seen).
Using a non-standard SSH port is highly advisable in general, as you avoid thousands of automated break-in attempts every day :)