GitHub / Presburger issue stats
Total issues: 11
Total pull requests: 14
Merged pull request: 9
Average time to close issues: 12 days
Average time to close pull requests: 14 days
Average comments per issue: 1.91
Average comments per pull request: 2.64
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (9, 81.82%)
- Member (1, 9.09%)
- Owner (1, 9.09%)
Pull Request Author Associations
- Member (5, 35.71%)
- Collaborator (5, 35.71%)
- Contributor (4, 28.57%)
Top Issue Labels
- bug (1)
- kind/enhancement (1)
- stale (1)
Top Pull Request Labels
- dco-passed (6)
- kind/enhancement (5)
- area/compilation (5)
- size/XS (3)
- ci-passed (3)
- approved (2)
- size/L (2)
- do-not-merge/missing-related-issue (2)
- lgtm (1)
- size/M (1)
- do-not-merge/missing-related-pr (1)