Hacker News new | ask | show | jobs
by xani_ 1355 days ago
You can just push using port 443

    -> ᛯ ssh -T -p 443 git@ssh.github.com
    Warning: Permanently added '[ssh.github.com]:443' (ED25519) to the list of known hosts.
    Hi XANi! You've successfully authenticated, but GitHub does not provide shell access.