mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-23 02:45:39 +08:00
7d52585ec4
This change adds support for the 'revision' attribute in <extend-project>. This avoids the need to perform a <remove-project> followed by a <project> in local manifests. Change-Id: Id2834fcfc1ae0d74b3347bed3618f250bf696b1f