HomeSoftware Heritage

server: Add metrics on tool_add endpoint
04792f87f6caUnpublished

Unpublished Commit · Learn More

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

Description

server: Add metrics on tool_add endpoint

Details

Provenance
ardumontAuthored on Apr 3 2019, 11:43 AM
ardumontPushed on Apr 3 2019, 5:55 PM
Differential Revision
D1321: swh-storage: Install counter metrics
Parents
R65:ee934b6dfaca: storage: Make tool_add endpoint return a list instead of a generator
Branches
Unknown
Tags
Unknown