clone.py works like a charm. When cloning yields an error, the corresponding dir in git pull-ed. This should only happen for a specific error of course
Catching only ErrorReturnCode_128 now
renamed clone to clone_all