after deleting a repo, if this is the was the only one then it seems that the connection was also deleted, but doing a refresh of connections and the connection shows again. Better refresh automatically after the deleting, so users will not be misguided into creating a new connection to the same server.
minor issue:
after deleting a repo, if this is the was the only one then it seems that the connection was also deleted, but doing a refresh of connections and the connection shows again. Better refresh automatically after the deleting, so users will not be misguided into creating a new connection to the same server.