Add SSH config for github connection behind proxy