As part of #40829, metrics are being emitted for the different operations (GET, HEAD, POST). These metrics should be added to the frontend Grafana dashboard.

Technical Direction

See the following for examples,

• https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/blob/monitoring/definitions/frontend.go?L333%3A1-335%3A74=
• https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/blob/monitoring/definitions/shared/batches.go?L14%3A1-44%3A2=