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