HomeSoftware Heritage

api.server: Rename constant
ff055909bcf7Unpublished

Unpublished Commit · Learn More

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

Description

api.server: Rename constant

Details

Provenance
ardumontAuthored on Apr 3 2019, 3:37 PM
ardumontPushed on Apr 3 2019, 5:55 PM
Differential Revision
D1321: swh-storage: Install counter metrics
Parents
R65:2f1e763db7e2: api.server: Refactor repetition into a send_metrics function
Branches
Unknown
Tags
Unknown