cerbero: Never use cached cerbero git repo
authorNirbheek Chauhan <nirbheek@centricular.com>
Thu, 12 Nov 2020 08:33:26 +0000 (14:03 +0530)
committerNirbheek Chauhan <nirbheek@centricular.com>
Thu, 12 Nov 2020 08:34:47 +0000 (14:04 +0530)
commitc3b5693736aea7798df87b10de48239ef7e43de7
treee7d211b93aaa959488417fb87cb157226bfca681
parentaead7b4eb70fd7823fad26f1efd24f131091229e
cerbero: Never use cached cerbero git repo

Sometimes the git repo cached on the docker image gets corrupted on
Windows, in which case there is no way to clean things and resolve
that error. For example: https://gitlab.freedesktop.org/bilboed/gst-plugins-bad/-/jobs/5517037

```
++ cp -a C:/cerbero/.git .
cp: cannot create regular file `./.git/objects/pack/pack-cbdde9dc4dd07bff6761e6715e20d7c0abe62b9e.idx': Permission denied
cp: cannot create regular file `./.git/objects/pack/pack-cbdde9dc4dd07bff6761e6715e20d7c0abe62b9e.pack': Permission denied
```

Always delete the cached git repo and copy a pristine copy from the
image. This will also avoid accumulation of garbage in the git repo.

Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-ci/-/merge_requests/376>
gitlab/cerbero_setup.sh