Idea #8491
Updated by Peter Amstutz about 8 years ago
Merge arvados-dev repository into main arvados repository using "git subtree".
Proposed branch:
https://dev.arvados.org/projects/arvados/repository?utf8=%E2%9C%93&rev=subtree-arvados-dev
Changes:
* Contents of arvados-dev moved to "arvados/build/"
* "build/arvbox" moved to top level
* "backports" moved to "build/backports"