Improve git bare repository handling

For mirrors we are now using git clone --mirror istead of --bare. 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.