modify .ssh/config github setting