008ad9af47
Clean up `before_script`s Update `check_submodule_sync` Remove tools/ci/mirror* stuff
5 lines
179 B
Bash
Executable file
5 lines
179 B
Bash
Executable file
#!/bin/bash
|
|
|
|
# Now git submodules are redirected to mirror automatically according to relative URLs in .gitmodules
|
|
|
|
echo "WARNING: Deprecated. This script is no longer required."
|