Mention repository mirroring for new projects in docs.

Merged Douwe Maan requested to merge repo-mirror-docs into master