removes redundant project pull mirroring code from a bad merge

79 jobs for remove-redundant-project-mirroring-code in 149 minutes and 36 seconds (queued for 50 seconds)