On 03/12/2015 02:31, Slávek Banko wrote:
Script switch_all_submodules_to_head_and_clean was modified to facilitate cloning from GIT mirror. On wiki page has been added information about cloning from GIT mirror. By using mentioned script the cloning from the mirror should be easy and fast.
Excellent, thank you.
Mike.