mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 20:13:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-ml/*: improve metadata

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-26 12:32:34 +02:00
parent 7613b95df7
commit 8ba1e8a9c8
97 changed files with 1522 additions and 652 deletions
Download Patch File Download Diff File Expand all files Collapse all files

46
dev-ml/metrics/metadata.xml
View File

@@ -1,18 +1,36 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<description>co-maintainers welcome</description>
<email>lssndrbarbieri@gmail.com</email>
<name>Alessandro Barbieri</name>
</maintainer>
<upstream>
<remote-id type="github">mirage/metrics</remote-id>
</upstream>
<use>
<flag name="influx">Influx reporter for the Metrics library</flag>
<flag name="lwt">Lwt backend for the Metrics library</flag>
<flag name="rusage">Resource usage (getrusage) sources for the Metrics library</flag>
<flag name="unix">Unix backend for the Metrics library</flag>
</use>
<maintainer type="person">
<description>co-maintainers welcome</description>
<email>lssndrbarbieri@gmail.com</email>
<name>Alessandro Barbieri</name>
</maintainer>
<use>
<flag name="influx">Influx reporter for the Metrics library</flag>
<flag name="lwt">Lwt backend for the Metrics library</flag>
<flag name="rusage">Resource usage (getrusage) sources for the Metrics library</flag>
<flag name="unix">Unix backend for the Metrics library</flag>
</use>
<longdescription lang="en">Metrics provides a basic infrastructure to monitor and gather runtime
metrics for OCaml program. Monitoring is performed on sources, indexed
by tags, allowing users to enable or disable at runtime the gathering
of data-points. As disabled metric sources have a low runtime cost
(only a closure allocation), the library is designed to instrument
production systems.
Metric reporting is decoupled from monitoring and is handled by a
custom reporter. A few reporters are (will be) provided by default.
Metrics is heavily inspired by
[Logs](http://erratique.ch/software/logs).</longdescription>
<upstream>
<doc>https://mirage.github.io/metrics/</doc>
<bugs-to>https://github.com/mirage/metrics/issues</bugs-to>
<remote-id type="github">mirage/metrics</remote-id>
<maintainer>
<name>Thomas Gazagnaire</name>
<email>thomas@gazagnaire.org</email>
</maintainer>
</upstream>
</pkgmetadata>