From: Javier Bértoli <jbertoli@curii.com>
Date: Fri, 28 May 2021 22:46:04 +0000 (-0300)
Subject: Merge branch '17743-use-git-arvados-org-for-provision'
X-Git-Tag: 2.2.0~5
X-Git-Url: https://git.arvados.org/arvados.git/commitdiff_plain/9b83572b06932927c5c0d1c9d17d98f46166bfed?hp=e686b1767ee906b5ff04b9faba97dd60c2c71d1d

Merge branch '17743-use-git-arvados-org-for-provision'

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