For mirrors we are now using
git clone --mirror istead of
Previous implementation with
clone --bare and
fetch is problematic
in case of force pushes. In such case fetch does not update refs that
were force pushed. This change solves that.
Note: This change requires wipe of git mirrors on Jenkins after merge to apply.