Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Add prometheus metrics for number of badge update pushes. #4709

Merged
merged 2 commits into from
Feb 22, 2019

Conversation

richvdh
Copy link
Member

@richvdh richvdh commented Feb 21, 2019

We're counting the number of push notifications, but not the number of badges;
I'd like to see if they are significant.

We're counting the number of push notifications, but not the number of badges;
I'd like to see if they are significant.
@richvdh richvdh requested a review from a team February 21, 2019 17:49
defer.returnValue(False)
rejected = []
if 'rejected' in resp:
rejected = resp['rejected']
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Isn't this important?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

well, maybe, but we don't use it.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fair

@codecov-io
Copy link

Codecov Report

Merging #4709 into develop will increase coverage by 0.17%.
The diff coverage is 85.71%.

@@             Coverage Diff             @@
##           develop    #4709      +/-   ##
===========================================
+ Coverage    74.98%   75.16%   +0.17%     
===========================================
  Files          340      340              
  Lines        34814    34815       +1     
  Branches      5702     5702              
===========================================
+ Hits         26107    26168      +61     
+ Misses        7085     7036      -49     
+ Partials      1622     1611      -11

@richvdh richvdh requested a review from a team February 21, 2019 18:42
@richvdh richvdh merged commit e07384c into develop Feb 22, 2019
@richvdh richvdh deleted the rav/badge_push_metrics branch February 22, 2019 10:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants