Git: modify host for an origin server