Skip to content

Instantly share code, notes, and snippets.

@mbbx6spp
Created November 22, 2017 16:19
Show Gist options
  • Save mbbx6spp/a883c8150193b0c55e9e6c2e02b04a56 to your computer and use it in GitHub Desktop.
Save mbbx6spp/a883c8150193b0c55e9e6c2e02b04a56 to your computer and use it in GitHub Desktop.
Blocked SSH port, GitHub workaround
# Put in your ~/.ssh/config
### Problem
#
# You are on a public WiFi network that blocks SSH ports but you don't want to switch
# to pushing your Github changes to GH remotes via HTTPS nor do you want to change the
# remote hostname in all your repos.
Host github.com
Hostname ssh.github.com
Port 443
User git
#IdentityFile ~/path/to/key
@jhnns
Copy link

jhnns commented Aug 4, 2023

Awesome. Just what I needed, thank you 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment