Unreleased

REST API:

New feature: /metrics reports push results by service, push service type and outcome, abandoned retries, requests per endpoint, redis reachability and the /stats counts in the Prometheus text format. (#299)