diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2022-04-05 18:08:37 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2022-04-05 18:08:37 +0300 |
commit | 4001deba7325ebf380f0d60038107e56a3c7e2c3 (patch) | |
tree | 89af01b4676aa4be29a63e5b481f41fb91ec2320 /doc/user/project/repository | |
parent | 7e964f54ed3dd08ed528481843ba1972684335dc (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/user/project/repository')
-rw-r--r-- | doc/user/project/repository/repository_mirroring.md | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/doc/user/project/repository/repository_mirroring.md b/doc/user/project/repository/repository_mirroring.md deleted file mode 100644 index 8fbe5aec6a3..00000000000 --- a/doc/user/project/repository/repository_mirroring.md +++ /dev/null @@ -1,9 +0,0 @@ ---- -redirect_to: 'mirror/index.md' -remove_date: '2022-03-22' ---- - -This document was moved to [another location](mirror/index.md). - -<!-- This redirect file can be deleted after <2022-03-22>. --> -<!-- Before deletion, see: https://docs.gitlab.com/ee/development/documentation/#move-or-rename-a-page -->
\ No newline at end of file |