Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / paulcadman issue stats
Total issues: 15
Total pull requests: 115
Merged pull request: 102
Average time to close issues: about 1 month
Average time to close pull requests: 3 days
Average comments per issue: 0.8
Average comments per pull request: 0.87
Issues created
- anoma/anoma: 15
Pull requests created
- paulcadman/raylean: 33
- katydid/regex-deriv-coq: 15
- katydid/regex-derivatives-coq: 15
- katydid/proofs: 12
- awalterschulze/regex-reexamined-coq: 10
- katydid/regex-deriv-lean: 6
- awalterschulze/ccc-talk: 4
- mheiber/analogue: 4
- anoma/anoma: 4
- aviaviavi/curl-runnings: 4
- funexists/ccc-talk: 4
- andorp/order-taking: 2
- shutterstock/rickshaw: 2
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (15, 100.00%)
Pull Request Author Associations
- Collaborator (70, 60.87%)
- Owner (33, 28.70%)
- Contributor (10, 8.70%)
- None (2, 1.74%)
Top Issue Labels
- bug (8)
- client (4)
- nock (2)
- juvix (2)
- execution stdlib (2)
- intents (1)
Top Pull Request Labels
- client (3)
- HoverDetail (1)