Check als bash script.

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

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