Merge branch 'docs-repository_mirroring-5min-delay' into 'master'

Docs: Link to issue on fix to 5min mirroring delay

See merge request gitlab-org/gitlab!41798

doc/user/project/repository/repository_mirroring.md

@@ -11,7 +11,8 @@ Repository mirroring allows for mirroring of repositories to and from external s
 used to mirror branches, tags, and commits between repositories.
 
 A repository mirror at GitLab will be updated automatically. You can also manually trigger an update
-at most once every 5 minutes.
+at most once every 5 minutes. Follow [this issue](https://gitlab.com/gitlab-org/gitlab/-/issues/237891)
+for discussions on how to potentially reduce the delay.
 
 ## Overview