diff options
Diffstat (limited to 'doc/user/project/repository/repository_mirroring.md')
-rw-r--r-- | doc/user/project/repository/repository_mirroring.md | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/user/project/repository/repository_mirroring.md b/doc/user/project/repository/repository_mirroring.md index 980c5417da6..3bbe9e6cb66 100644 --- a/doc/user/project/repository/repository_mirroring.md +++ b/doc/user/project/repository/repository_mirroring.md @@ -22,7 +22,7 @@ There are two kinds of repository mirroring supported by GitLab: When the mirror repository is updated, all new branches, tags, and commits are visible in the project's activity feed. -Users with at least [Developer access](../../permissions.md) to the project can also force an +Users with [Maintainer access](../../permissions.md) to the project can also force an immediate update, unless: - The mirror is already being updated. @@ -65,7 +65,10 @@ For an existing project, you can set up push mirroring as follows: ![Repository mirroring push settings screen](img/repository_mirroring_push_settings.png) When push mirroring is enabled, only push commits directly to the mirrored repository to prevent the -mirror diverging. The mirrored repository receives all changes when: +mirror diverging. + +Unlike [pull mirroring](#how-it-works), the mirrored repository is not periodically auto-synced. +The mirrored repository receives all changes only when: - Commits are pushed to GitLab. - A [forced update](#forcing-an-update) is initiated. |