From e95ceeaa18cb57a0137802b78adb3d8a60ddb961 Mon Sep 17 00:00:00 2001
From: Juergen Kosel <juergen.kosel@gmx.de>
Date: Wed, 6 Feb 2019 18:18:50 +0100
Subject: [PATCH] Use place holder for the destination host in the push mirror
 URL

Signed-off-by: Juergen Kosel <juergen.kosel@gmx.de>
---
 doc/workflow/repository_mirroring.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/workflow/repository_mirroring.md b/doc/workflow/repository_mirroring.md
index 9c9797eab95..9abd8bbf173 100644
--- a/doc/workflow/repository_mirroring.md
+++ b/doc/workflow/repository_mirroring.md
@@ -92,7 +92,7 @@ The repository will push soon. To force a push, click the appropriate button.
 
 1. On the destination GitLab instance, create a [personal access token](../user/profile/personal_access_tokens.md) with `API` scope.
 1. On the source GitLab instance:
-  1. Fill in the **Git repository URL** field using this format: `https://oauth2@gitlab.com/<your_gitlab_group_or_name>/<your_gitlab_project>.git`.
+  1. Fill in the **Git repository URL** field using this format: `https://oauth2@<destination host>/<your_gitlab_group_or_name>/<your_gitlab_project>.git`.
   1. Fill in **Password** field with the GitLab personal access token created on the destination GitLab instance.
   1. Click the **Mirror repository** button.