android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
cf7c0834cf
git-repo/docs
History
Luis Hector Chavez 7d52585ec4 Add a way to override the revision of an <extend-project> 
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
2018-03-15 09:55:54 -07:00
..
manifest-format.txt Add a way to override the revision of an <extend-project> 2018-03-15 09:55:54 -07:00
repo-hooks.md document repo hooks mechanism 2017-11-10 21:53:59 -05:00