Hi all, The majority of my work happens behind corporate firewalls where ssh out via port 22 is not an option. Is there a way to configure GitHub-like SSH via HTTPS ports? https://help.github.com/articles/using-ssh-over-the-https-port/ I'd be greatly appreciative if this was the case. Thanks! -- Tom Swartz