Merge branch 'repository-mirroring-doc-update' into 'master'

repository_mirroring: update menu entry to "Mirror Repository"

Instead of "Repository Mirroring" it looks like the menu name to configure mirroring is now called "Mirror Repository".

See merge request !724

doc/workflow/repository_mirroring.md

@@ -23,6 +23,6 @@ When creating a new project, you can enable Repository Mirroring when you choose
 
 ### Existing projects
 
-For existing projects, you can set up Repository Mirroring by navigating to Project Settings > Repository Mirroring.
+For existing projects, you can set up Repository Mirroring by navigating to Project Settings > Mirror Repository.
 
 ![Settings](repository_mirroring/settings.png)