Merge pull request #4090 from sschoen/Bugfix/docker

removed .git folder from docker image (significant size improvement)

Ylian Saint-Hilaire committed Jun 8, 2022 at 02:07 UTC d7400118ebd061658f77a5297cb04a7a7e498bce

No changes.