GitHub / mikeshulman issue stats
Total issues: 62
Total pull requests: 69
Merged pull request: 63
Average time to close issues: 2 months
Average time to close pull requests: 3 days
Average comments per issue: 2.84
Average comments per pull request: 1.0
Issues created
- gwaithimirdain/narya: 14
- HoTT/book: 13
- mikeshulman/ohtt: 12
- hott/hott-2019: 3
- jasongross/coq-tools: 3
- redprl/asai: 2
- HoTT/Coq-HoTT: 2
- redprl/ocaml-bwd: 2
- hott/hott-agda: 2
- jasongross/coq-scripts: 2
- peterlefanulumsdaine/higher-inductive-paper: 1
- rocq-community/buchberger: 1
- mortberg/cubicaltt: 1
- redprl/bantorra: 1
- docwhat/itsalltext: 1
- ocaml/merlin: 1
- ocaml-community/utop: 1
Pull requests created
- gwaithimirdain/narya: 32
- HoTT/Coq-HoTT: 27
- mortberg/cubicaltt: 3
- hott/hott-agda: 3
- HoTT/book: 2
- redprl/ocaml-bwd: 1
- redprl/algaeff: 1
Maintainer
Active Maintainer
- gwaithimirdain/narya: 35
- redprl/asai: 2
Issue Author Associations
- Contributor (23, 37.10%)
- Collaborator (17, 27.42%)
- Owner (12, 19.35%)
- None (10, 16.13%)
Pull Request Author Associations
- Contributor (37, 53.62%)
- Collaborator (32, 46.38%)
Top Issue Labels
- enhancement (4)
- bug (3)
- critical (1)
- documentation (1)
- design is needed (1)
- task (1)
- cleanup (1)
- notation (1)
- hottclasses (1)
- Kind/Bug (1)