Revert "Simplify checkout of main git repo"
Revert "Simplify checkout of main git repo"

This reverts commit 724a475bb7ac90b16cb434f5d54d0760fe693af5.

HoerTech-gGmbH/openMHA,HoerTech-gGmbH/openMHA,HoerTech-gGmbH/openMHA,HoerTech-gGmbH/openMHA,HoerTech-gGmbH/openMHA,HoerTech-gGmbH/openMHA,HoerTech-gGmbH/openMHA,HoerTech-gGmbH/openMHA