diff options
| author | Joseph Yu <josephyu2712+gitlabs@gmail.com> | 2019-01-23 20:40:15 +0300 |
|---|---|---|
| committer | Joseph Yu <josephyu2712+gitlabs@gmail.com> | 2019-01-23 20:40:15 +0300 |
| commit | 1542787a53640481334ecf10dc6f464603ee3067 (patch) | |
| tree | a6e4437a6102248e4dbb1e15af6f167d35b501e8 | |
| parent | 1e23643e2b762661e7b124f1e2ac890150d93a6c (diff) | |
Amended with suggestions by @eread
| -rw-r--r-- | doc/workflow/repository_mirroring.md | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/doc/workflow/repository_mirroring.md b/doc/workflow/repository_mirroring.md index 0da35eb5d78..cc595dfe292 100644 --- a/doc/workflow/repository_mirroring.md +++ b/doc/workflow/repository_mirroring.md @@ -80,14 +80,13 @@ mirror. To set up a mirror from GitLab to GitHub, you need to follow these steps: 1. Create a [GitHub personal access token](https://help.github.com/articles/creating-a-personal-access-token-for-the-command-line/) with the `public_repo` box checked. -1. Fill in the **Git repository URL** field using this format: `https://<GitHubUsername>@github.com/group/project.git`. -1. Fill in **Password** field with the personal access token. +1. Fill in the **Git repository URL** field using this format: `https://<your_github_username>@github.com/<your_github_group>/<your_github_project>.git`. +1. Fill in **Password** field with your GitHub personal access token. 1. Click the **Mirror repository** button. - -The resulting repository address will look like: `https://*****:*****@github.com/group/project.git`. +The mirrored repository will be listed. For example, `https://*****:*****@github.com/<your_github_group>/<your_github_project>.git`. -It should automatically push (refresh page to update status). To force a push, click the `Update Now` button :arrows_clockwise:. +The repository will push soon. To force a push, click the appropriate button. ## Pulling from a remote repository **[STARTER]** |