Merge "Revert removal of git-mirror jobs for pipelines"