No longer trying to set git config on Linux; using ssh instead.