local repo does not override manifest.xml

[GoogleCodeExporter]

hello

i'm building cyanogenmod ports and facing local path override issue.

seems like repo script bug.

.repo/manifest.xml has line:

<project path="hardware/samsung_slsi/exynos5" 
name="CyanogenMod/android_hardware_samsung_slsi_exynos5" />

.repo/local_manifests/roomservice.xml has line:

<project name="intervigilium/android_hardware_samsung_slsi_exynos5" 
path="hardware/samsung_slsi/exynos5" remote="github" revision="cm-10.2" />

# repo sync returns error:

[...]

Syncing work tree: 100% (400/400), done.  

hardware/samsung_slsi/exynos5/: discarding 1 commits

and as result it failed to compile, because repo failed to override paths

Original issue reported on code.google.com by kuznetsov.alexey on 1 Oct 2013 at 10:09

[GoogleCodeExporter]

This isn't a repo issue. CyanogenMod should add support for <remove-project> 
into their roomservice script

An example of how to do it can be found here
https://gerrit.omnirom.org/#/c/2081/2/tools/roomservice.py

Original comment by anthonyd...@gmail.com on 4 May 2014 at 3:42