script to duplicate (i.e, retrieve) all dev repos