google repo tool

<manifest>
    <!-- add github as a remote source -->
    <remote name="github" fetch="git://github.com" />
 
    <remove-project name="platform/bootable/recovery" />
    <project path="bootable/recovery" name="CyanogenMod/android_bootable_recovery" remote="github" revision="cm-10.1" />
</manifest>