commit | 4b1bac1186706e7eebcdb4e22c8e331d151daef6 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Thu Mar 17 16:22:03 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Thu Mar 17 16:22:03 2016 -0700 |
tree | bc88e33b37a15cadea4eb4f4dce8550c049f077b | |
parent | 21f8d20391c2d8856ee17807c7aefd9bf2be4a7a [diff] |
devtools/jiri-test: improvement to release automation. Allow users to specify arbitrary snapshot timestamp (version) to update services to. Change-Id: I794cd44c9ec080aa31dcc343f649acb886f620ac
This repository contains developer tools used to install and contribute to Vanadium.
For more information, see the installation and contributing instructions.
This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.