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

github_repo_open_issues and github_repo_pull_request_count separately #46

Merged
merged 16 commits into from
Mar 27, 2020

Conversation

iamrare
Copy link
Contributor

@iamrare iamrare commented Mar 16, 2020

we needed github_repo_open_issues and github_repo_pull_request_count separately, so I added it
(GitHub REST API returns all open issues + pull requests count, not issues only, so we have to use the pull requests API to get the PR count and then subtract it to get issues)

please consider merging it upstream in case other people need it
if it's accepted, we can use infinityworks' version rather than maintaining our own

thanks

@iamtgray
Copy link
Contributor

I will have a look at this at some point in the next 12 hours and confirm before merging

@iamrare
Copy link
Contributor Author

iamrare commented Mar 17, 2020

looks like it was a requested feature already:
#12

@Rucknar
Copy link
Contributor

Rucknar commented Mar 17, 2020

LGTM - @iamtgray ?

@iamtgray iamtgray merged commit 0552b53 into githubexporter:master Mar 27, 2020
@iamrare
Copy link
Contributor Author

iamrare commented Mar 30, 2020

Thank you!

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.

None yet

3 participants