diff options
Diffstat (limited to 'doc/development/usage_ping/metrics_instrumentation.md')
-rw-r--r-- | doc/development/usage_ping/metrics_instrumentation.md | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/doc/development/usage_ping/metrics_instrumentation.md b/doc/development/usage_ping/metrics_instrumentation.md deleted file mode 100644 index f2d731803b8..00000000000 --- a/doc/development/usage_ping/metrics_instrumentation.md +++ /dev/null @@ -1,9 +0,0 @@ ---- -redirect_to: '../service_ping/metrics_instrumentation.md' -remove_date: '2021-10-09' ---- - -This file was moved to [another location](../service_ping/metrics_instrumentation.md). - -<!-- This redirect file can be deleted after <2021-10-09>. --> -<!-- Before deletion, see: https://docs.gitlab.com/ee/development/documentation/#move-or-rename-a-page --> |