server: Add metrics on tool_add endpoint
04792f87f6caUnpublished
Actions

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

server: Add metrics on tool_add endpoint

Provenance

ardumont	Authored on Apr 3 2019, 11:43 AM
ardumont	Pushed on Apr 3 2019, 5:55 PM

Differential Revision

D1321: swh-storage: Install counter metrics

This commit no longer exists in the repository.