projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ed4d846 e686b17)
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)
closes #17743
Arvados-DCO-1.1-Signed-off-by: Javier Bértoli <jbertoli@curii.com>


Trivial merge