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.