Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hansjoergschurr issue stats
Total issues: 7
Total pull requests: 20
Merged pull request: 19
Average time to close issues: 6 days
Average time to close pull requests: 15 days
Average comments per issue: 2.86
Average comments per pull request: 0.25
Issues created
- gbury/dolmen: 5
- cvc5/cvc5: 1
- google/shipshape: 1
Pull requests created
- cvc5/cvc5: 15
- leoprover/Leo-III: 4
- gbury/dolmen: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (6, 85.71%)
- None (1, 14.29%)
Pull Request Author Associations
- Contributor (16, 80.00%)
- Collaborator (4, 20.00%)
Top Issue Labels
- enhancement (2)
- duplicate (1)
Top Pull Request Labels
- simple (3)
- minor (2)
- normal (2)
- moderate (2)