/ tools / ci / mirror-submodule-update.sh
mirror-submodule-update.sh
1  #!/usr/bin/env bash
2  
3  # Now git submodules are redirected to mirror automatically according to relative URLs in .gitmodules
4  
5  echo "WARNING: This script is deprecated. Use standard ways to obtain git submodules"
6  git submodule update --init