"git clone" with depth 1 does not work in all cases => reverted change.