22 Jul
2019
22 Jul
'19
8:14 a.m.
Thanks for the pointers. This seems to work for cloning the mirror repo when the main repo is unavailable for retrieving scripts:
git clone https://mirror.git.trinitydesktop.org/gitea/TDE/tde git clone https://mirror.git.trinitydesktop.org/gitea/TDE/scripts cd tde ../scripts/switch_all_submodules_to_head_and_clean anonymous rm -rf ../scripts
--Mike