heh,

git clone

is subtly broken for our git - cp is the recommendation