l

Was fixed by https://github.com/deltachat/chatmail/pull/251 probably.

[Prometheus](https://prometheus.io/) has a [text format for exposing metrics](https://prometheus.io/docs/instrumenting/exposition_formats/) (formely Protocol Buffers format, but this is deprecated) which got "standardized" as [OpenMetrics](https://openmetrics.io/). This text format can be exported via HTTP endpoint...

<offtopic> Speaking about monitoring, might be interesting to add metrics to Delta Chat core and expose them for bots in this way. Then collect number of messages sent, received, number...

We have https://prometheus.testrun.org/ running now, https://prometheus.testrun.org/metrics can be used as a reference example for the format prometheus expects.

Instead of scraping via HTTP prometheus has a support for pushing via [pushgateway](https://github.com/prometheus/pushgateway/) and README even has examples of pushing metrics with `curl`. So we can push whatever metrics from...

Dovecot has a statistics module which allows to define metrics: https://doc.dovecot.org/configuration_manual/stats/ It can be read with `doveadm stats dump` or exported via HTTP as OpenMetrics: https://doc.dovecot.org/configuration_manual/stats/openmetrics/ OpenMetrics can only be...

#214 seems to be unneeded as everything still works so they probably make pyinfra 3 backward-compatible.

Changelog is here, there are not many changes and nothing that seems like affecting our usage: https://github.com/pyinfra-dev/pyinfra/blob/3.x/CHANGELOG.md

> In other words, say that you provide a `u64::MAX` to `Gauge::set`, what should `prometheus-client` do? It can't store it in an `i64`. It can't store it in an `f64`...

Instead of manually changing `Cargo.lock` you can do `cargo update -p cc --precise 1.0.83`.