Set the remote config manually

See 5cd6b35 and 8eefd4e.