diff options
| author | Luis Hector Chavez <lhchavez@google.com> | 2018-03-15 09:54:08 -0700 |
|---|---|---|
| committer | Luis Hector Chavez <lhchavez@google.com> | 2018-03-15 09:55:54 -0700 |
| commit | 7d52585ec4719ce0314c6d1a20216fc0128d6883 (patch) | |
| tree | 1356e1f9d4b6846cabee9400ca1cf7fedb73c94a /docs/repo-hooks.md | |
| parent | 1f365701b32fbf657fc8277d1fee3656f2501383 (diff) | |
| download | git-repo-7d52585ec4719ce0314c6d1a20216fc0128d6883.tar.gz | |
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
Diffstat (limited to 'docs/repo-hooks.md')
0 files changed, 0 insertions, 0 deletions