Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add owning user to pull_request_count labels #65

Closed
wants to merge 1 commit into from

Conversation

j6s
Copy link

@j6s j6s commented Dec 21, 2020

Resolves #30

I have noticed, that if multiple users (or orgs) share a repository with the same name, then the pull_request_count metrics will cause an error while collecting metrics because the same metric has already been collected. In most cases this is because one user has forked the repo of another user.

I have fixed this by adding the owning users name to the labels of the metric. While this solves the problem, it only makes a bit of sense since the number of pull requests of both repositories will always be the same. causing small amounts of duplicate data to be reported.

@henrymcconville
Copy link
Collaborator

Superseded by #101. Released in 1.0.6

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Metric was collected before with the same name and label values
2 participants