[BLUEJ-1317] BlueJ does not take into account the port number in GIT SSH-based URIs
In an GIT URI like "ssh://server.my.domain:PORT/", the PORT number is not taken into account. BlueJ always connects to port 22, regardless of the port indicated.
Thank you in advance
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 5.0.0