tree 01a55be0ef753d81645e22be9edd812a6339e238
parent 1c19d6ea8c543a5b6c771c308f0aae2ac30c4abf
author Bogdan Caprita <caprita@google.com> 1447543986 -0800
committer Bogdan Caprita <caprita@google.com> 1447543986 -0800

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