Bash index and pull git repositories in workspace

add_origin.sh

dir="$1"
repo=`cd $dir && git config --get remote.origin.url`
echo "$dir; $repo"

index_repos.sh

# write list of directories containing .git to dirnames.txt
find -maxdepth 4 -type d -name .git | xargs dirname > dirnames.txt

# add the git origin and write to repos.csv
cat dirnames.txt | xargs -L 1 ./add_origin.sh > repos.csv

pull_repos.sh

while IFS="; " read dir url; do
    echo "Cloning $url into $dir..."
    git clone "$url" "$dir"
done <repos.csv