if a repository has 0 open_issues_count (this is a sum of PRs and issues on GitHub), then open PRs count is for sure 0, so no request to fetch PRs will be made. Thus saving some time when updating the view. Also deals nicely with disabled repos.
Make sure these boxes are checked before submitting your Pull Request - thank you!
This PR provides:
open_issues_count(this is a sum of PRs and issues on GitHub), then open PRs count is for sure 0, so no request to fetch PRs will be made. Thus saving some time when updating the view. Also deals nicely with disabled repos.Make sure these boxes are checked before submitting your Pull Request - thank you!