maride 4c22604a83 Try a clean git-clone if pulling fails

2023-10-14 15:31:43 +02:00

..

pull-n-build.sh

Try a clean git-clone if pulling fails

2023-10-14 15:31:43 +02:00