2021-05-10 12:10:26 +00:00
|
|
|
---
|
2021-07-12 09:09:40 +00:00
|
|
|
redirect_to: '../service_ping/metrics_instrumentation.md'
|
|
|
|
|
remove_date: '2021-10-09'
|
2021-05-10 12:10:26 +00:00
|
|
|
---
|
|
|
|
|
|
2021-07-12 09:09:40 +00:00
|
|
|
This file was moved to [another location](../service_ping/metrics_instrumentation.md).
|
2021-05-10 12:10:26 +00:00
|
|
|
|
2021-07-12 09:09:40 +00:00
|
|
|
<!-- 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 -->
|
