Verhaar_Wiki

Check als bash script.

Het vermoeden is dat dit een lokale git directory weggooit en opnieuw download van externe bron.

reposource=$(git remote -v | head -n 1 | awk '{print $2}')
repodir=$(pwd)
cd ..
rm -rf "${repodir}"
git clone "${reposource}"
cd -