RepoSet: stop pruning when fetching mirrors
Ideally, we want to keep an exact mirror of the origin. Unfortunately, our mirror cannot provide commits by sha unless they have a tag associated with them.
As a workaround, we can put a tag on the desired commit, in our mirror. For now, stop pruning so we can keep those tags, and the build system running.