set github options in ssh/ssh_config