#!/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."