cmd: Use git cli to add report files, rather than repo.index.add
It seems that the GitPython repo index add method tries to do additional permission fiddling that the CLI does not, and that doesn't work with our shared repos. Hopefully this will help fix some of the permission issues we've been running into.
Merge request reports
Activity
assigned to @joseph-betzwieser
enabled an automatic merge when all merge checks for cf4d7780 pass
mentioned in commit 61715db5