Merge "Revert removal of git-mirror jobs for pipelines" into release/2019.2.0