diff options
Diffstat (limited to 'doc/monitoring/health_check.md')
| -rw-r--r-- | doc/monitoring/health_check.md | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/monitoring/health_check.md b/doc/monitoring/health_check.md deleted file mode 100644 index d607ea03d5a..00000000000 --- a/doc/monitoring/health_check.md +++ /dev/null @@ -1,8 +0,0 @@ ---- -redirect_to: '../user/admin_area/monitoring/health_check.md' ---- - -This document was moved to [user/admin_area/monitoring/health_check](../user/admin_area/monitoring/health_check.md). - -<!-- This redirect file can be deleted after February 1, 2021. --> -<!-- Before deletion, see: https://docs.gitlab.com/ee/development/documentation/#move-or-rename-a-page --> |