Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mikeshulman issue stats
Total issues: 48
Total pull requests: 56
Merged pull request: 52
Average time to close issues: 3 months
Average time to close pull requests: 1 day
Average comments per issue: 3.15
Average comments per pull request: 1.25
Issues created
- mikeshulman/ohtt: 12
- HoTT/book: 12
- hott/hott-agda: 4
- hott/hott-2019: 3
- redprl/ocaml-bwd: 3
- jasongross/coq-tools: 3
- redprl/asai: 2
- HoTT/Coq-HoTT: 2
- jasongross/coq-scripts: 2
- mortberg/cubicaltt: 1
- docwhat/itsalltext: 1
- redprl/bantorra: 1
- mikeshulman/narya: 1
- peterlefanulumsdaine/higher-inductive-paper: 1
Pull requests created
- HoTT/Coq-HoTT: 32
- mikeshulman/narya: 13
- hott/hott-agda: 6
- mortberg/cubicaltt: 3
- redprl/ocaml-bwd: 1
- redprl/algaeff: 1
Maintainer
Active Maintainer
- mikeshulman/narya: 14
- redprl/asai: 2
Issue Author Associations
- Contributor (25, 52.08%)
- Owner (13, 27.08%)
- None (7, 14.58%)
- Collaborator (3, 6.25%)
Pull Request Author Associations
- Contributor (43, 76.79%)
- Owner (13, 23.21%)
Top Issue Labels
- bug (2)
- enhancement (1)
- critical (1)
- documentation (1)
- design is needed (1)
- task (1)
- cleanup (1)
- notation (1)
- hottclasses (1)