Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andrejbauer issue stats
Total issues: 31
Total pull requests: 15
Merged pull request: 14
Average time to close issues: 3 months
Average time to close pull requests: about 1 hour
Average comments per issue: 7.23
Average comments per pull request: 1.87
Issues created
- HoTT/book: 18
- HoTT/Coq-HoTT: 6
- coq-community/dedekind-reals: 4
- andrejbauer/plzoo: 2
- blazs/lvr-sat: 1
Pull requests created
- HoTT/Coq-HoTT: 14
- UniMath/UniMath: 1
Maintainer
- HoTT/Coq-HoTT: 20
- HoTT/book: 18
- coq-community/dedekind-reals: 4
- andrejbauer/plzoo: 2
Active Maintainer
Issue Author Associations
- Member (24, 77.42%)
- Collaborator (4, 12.90%)
- Owner (2, 6.45%)
- None (1, 3.23%)
Pull Request Author Associations
- Member (14, 93.33%)
- None (1, 6.67%)