commit | 22bd983c540166cfe1e5d9e8221abc24b1e724a7 | [log] [tgz] |
---|---|---|
author | Nicolas Lacasse <nlacasse@google.com> | Tue Dec 08 18:16:51 2015 -0800 |
committer | Nicolas Lacasse <nlacasse@google.com> | Tue Dec 08 18:16:51 2015 -0800 |
tree | d1ca39708321509b6e3a6094066266cfa60b290f | |
parent | 9ca5d6c31bd8a99359592b178a9cdf3dd5cb2c3f [diff] |
jiri: Allow deletion+creation of projects with the same path during update. We keep track of which project directories are deleted during the course of an update. This way, when testing if a creation is possible, we can detect that the destination will be empty even if it isn't right now. This delete+create case is important for project renames, which are treated like delete+create. Change-Id: Ia425417bd09d5aa9b604306c7431c3b62bae543d
“Jiri integrates repositories intelligently”
This repository implements the Jiri repository management tool.
For documentation, see http://godoc.org/v.io/jiri