# A simple script to clone a ID git project
# because I never remember the long URLs
+# TODO - Try sling-incubator github
+# TODO - Refactor with a loop of URLs, exit on the same
PROJ=$1
URL="ssh://git.indexdata.com:/home/git"
+GITHUB="git@github.com:indexdata"
# Try private project first, then public
#
git clone "$URL/private/$PROJ"
) ||
(
+ echo
echo "That did not work"
+ echo "======"
echo
echo "Cloning $URL/pub/$PROJ"
git clone "$URL/pub/$PROJ"
) ||
(
+ echo
+ echo "That did not work"
+ echo "======"
+ echo
+ echo "Trying to clone $GITHUB/$PROJ.git"
+ git clone "git@github.com:indexdata/$PROJ.git"
+) ||
+(
+ echo
+ echo "======"
echo
echo "Could not check out $PROJ"
)