diff --git a/doc/workflow/repository_mirroring.md b/doc/workflow/repository_mirroring.md
index 1f9e25e1c194b34b38373302d12001fa9bb362f3..2f6fc103b5613ff314944625f532141409519982 100644
--- a/doc/workflow/repository_mirroring.md
+++ b/doc/workflow/repository_mirroring.md
@@ -16,7 +16,7 @@ project from another source.
 There are two kinds of repository mirroring features supported by GitLab:
 **push** and **pull**. The **push** method mirrors the repository in GitLab
 to another location, whereas the **pull** method mirrors an external repository
-in one in GitLab.
+to one in GitLab.
 
 Once the mirror repository is updated, all new branches,
 tags, and commits will be visible in the project's activity feed.