repo - replacing a remote

[Carlos Fernandez]

Hi,

Context: Upgrading a very old version of repo, hitting some hurdles.

In one of our checkouts, we have a default.xml file that defines a remote "origin" with the usual stuff.

We also have a local_manifests/git_ro.xml with defines the same remote but without a pushURL.

In the old version of repo this was fine, but the current one forbids attribute changes, i.e. we can't redefine the remote.

Is there a recommended approach here? Assuming we'd prefer not to modify those files as as you can imagine there's some legacy here going on.

Carlos

[Nasser Grainawi]

Looking at the initial commit of repo, this seems like it should have always failed for you. Maybe there was a bug at some point that allowed it, but I think this was never supported behavior. Local manifests can add new remotes, but they weren't expected to modify existing remotes.

I think you might have to modify those files, sorry.

 

Carlos

--
--
To unsubscribe, email repo-discuss...@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/repo-discuss/PH0PR15MB4152421455DA9495C623134DC8CCA%40PH0PR15MB4152.namprd15.prod.outlook.com.