GitHub hack: speed up git push/pull

I'd be concerned about how a whole lot of people doing this, keeping an SSH connection open to Github at all times, would affect Github itself.