18870: tweaking git stuff
authorPeter Amstutz <peter.amstutz@curii.com>
Sun, 26 Jun 2022 23:29:43 +0000 (19:29 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Tue, 28 Jun 2022 18:20:35 +0000 (14:20 -0400)
commit7aecff0797f9d282587544b356b105c05f13da21
tree2e835f5e0b191f2c070d3baeff94fbf520004989
parent5c32f7ed756e32bb3fa03182730f9fad8aab9897
18870: tweaking git stuff

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
tools/salt-install/installer.sh