Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Are we able to specifiy a port to be used? Customer of ours uses a nonstandard port for SSL.
I have added (though not tested) this functionality in revision 79, as an extra "Port" field in the "Add server" dialog.
Could you give that a try?