#! /bin/sh
# Script that batch adds git subtrees from a set of GitHub libraries

for a in JakeWharton/ActionBarSherlock keyboardsurfer/Crouton nostra13/Android-Universal-Image-Loader bauerca/drag-sort-listview iPaulPro/aFileChooser nhaarman/ListViewAnimations
do
        b=`echo "$a" | sed "s#^[^/]*/##"`
        echo "Managing: $b (from GitHub project '$a')"
        git remote add -f $b https://github.com/$a
        git merge -s ours --no-commit $b/master
        git read-tree --prefix=vendor/$b/ -u $b/master
        git commit -m "Merged '$b' into vendor/$b/ as a dependency"
        echo "-----------------------------------------"
done