- Fix update_git.sh wiping all the package file of the local
checkout while cloning the git repository on demand (in case they
don't exist and the user as to do so).