I made a small project that you can see here https://metrics.estada.ch
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
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.
Yes, I am interested, sending a message in the chat
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.