diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2019-02-22 10:57:15 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-22 10:57:15 +0000 |
| commit | e07384c4e16a8a97966c58d604ef95ac1614cafa (patch) | |
| tree | 8dbcf52ffdd600b5f2d9a82c1ea2ec1db0564114 /jenkins | |
| parent | Better checks on newsfragments (#4698) (diff) | |
| download | synapse-e07384c4e16a8a97966c58d604ef95ac1614cafa.tar.xz | |
Add prometheus metrics for number of badge update pushes. (#4709)
We're counting the number of push notifications, but not the number of badges; I'd like to see if they are significant.
Diffstat (limited to 'jenkins')
0 files changed, 0 insertions, 0 deletions