CI builds fail on 8.0.1

CI build now fails randomly, with the following error:

Fetching changes...
error: cannot open .git/FETCH_HEAD: Permission denied

Simply retrying works.