Metrics for bors (side project)

Hi all

I made a small project that you can see here https://metrics.estada.ch

screenshot metrics

The bot fetching stats once per minute is open source here (accepting PRs)

I am open to integrating it into the official infrastructure if there is interest :slight_smile:

Best, Stefan

1 Like

I think this would be great to integrate directly into bors itself. Would you be willing to add an endpoint to bors that returns the prometheus-formatted metrics? Then we can easily configure our existing prometheus instance to scrape the metrics.

Feel free to drop by #t-infra on Zulip if you want to chat about this.

3 Likes

Yes, I am interested, sending a message in the chat :slight_smile: