commit | deb98983ec7892773c7542da877050757abc7d4f | [log] [tgz] |
---|---|---|
author | Bogdan Caprita <caprita@google.com> | Sat Nov 14 15:33:06 2015 -0800 |
committer | Bogdan Caprita <caprita@google.com> | Sat Nov 14 15:33:06 2015 -0800 |
tree | 01a55be0ef753d81645e22be9edd812a6339e238 | |
parent | 1c19d6ea8c543a5b6c771c308f0aae2ac30c4abf [diff] |
jiri: fix jiri update --manifest=<manifest> The jiri update command currently ignores the revisions specified in the remote manifest: we indiscriminately fetch and use the master branch revision from the remote server regardless if a revision was already specified in the requested manifest. It looks like this was broken by https://vanadium-review.googlesource.com/#/c/16663. The fix is to only use the remote server's revision when the requested revision is HEAD (otherwise, respect the revision requested). Change-Id: I2bd1a49e2ea974f6fc8c0efc1530d89e17c669d3
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri