I'm actually getting "ERROR: no healthy upstream" on `git pull`.

They done borked it good.

If your remote is set to a git@github.com remote, it won't work. They're just pointing out that you could use git to set origin/your remote to a different ssh capable server, and push/pull through that.