tree 0c3eb5a56560fc68824252c5c19f25769a63d68c
parent 7f271d1d578b3a7541b4fd49fb6407f8ea873d1c
author Brian Bosak <bbosak@google.com> 1606330420 +0000
committer CQ Bot <commit-bot@chromium.org> 1606330420 +0000

[jiri] Inform users how to checkout JIRI_HEAD

If multiple repositories aren't on JIRI_HEAD it may be cumbersome
to manually checkout JIRI_HEAD in each one. Add documentation for
how this can be automated.

Change-Id: Ib7a14ac8ec5adf2a7fa41d25fd25fbc2e071a3f7
Reviewed-on: https://fuchsia-review.googlesource.com/c/jiri/+/455414
Reviewed-by: Haowei Wu <haowei@google.com>
Commit-Queue: Brian Bosak <bbosak@google.com>