Merge branch '17743-use-git-arvados-org-for-provision'
authorJavier Bértoli <jbertoli@curii.com>
Fri, 28 May 2021 22:46:04 +0000 (19:46 -0300)
committerJavier Bértoli <jbertoli@curii.com>
Fri, 28 May 2021 22:46:04 +0000 (19:46 -0300)
commit9b83572b06932927c5c0d1c9d17d98f46166bfed
tree486ab21def193a43d069d5b2e3c08dea80de3c70
parented4d8462e763eb1d8c8f1548912495563cd9288f
parente686b1767ee906b5ff04b9faba97dd60c2c71d1d
Merge branch '17743-use-git-arvados-org-for-provision'

closes #17743
Arvados-DCO-1.1-Signed-off-by: Javier Bértoli <jbertoli@curii.com>