Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / UniMath issue stats
Total issues: 73
Total pull requests: 283
Merged pull request: 252
Average time to close issues: about 2 months
Average time to close pull requests: 5 days
Average comments per issue: 1.63
Average comments per pull request: 4.92
Issues created
Pull requests created
- UniMath/agda-unimath: 283
Issue owner Associations
- Collaborator (67, 91.78%)
- Contributor (5, 6.85%)
- None (1, 1.37%)
Pull Request owner Associations
- Collaborator (205, 72.44%)
- Contributor (78, 27.56%)
All Maintainers
- fredrik-bakke (126)
- EgbertRijke (107)
- VojtechStep (35)
- jonaprieto (2)
- elisabethbonnevier (1)
- elisabethstenholm (1)
Active Maintainers
- fredrik-bakke (31)
- EgbertRijke (17)
- VojtechStep (14)
Top Issue Authors
- fredrik-bakke (43)
- EgbertRijke (13)
- VojtechStep (11)
- jonaprieto (2)
- ElifUskuplu (1)
- elisabethbonnevier (1)
- juhp (1)
- morphismz (1)
Top Pull Request Authors
- EgbertRijke (94)
- fredrik-bakke (83)
- VojtechStep (47)
- tomdjong (31)
- morphismz (12)
- maybemabeline (8)
- FernandoChu (2)
- UlrikBuchholtz (2)
- wrest64 (2)
- elisabethstenholm (1)
- GregorPercic (1)
Top Issue Labels
- good first issue (22)
- synthetic-homotopy-theory (11)
- website (10)
- foundation (9)
- refactoring (8)
- help wanted (8)
- bug (8)
- enhancement (7)
- univalent-combinatorics (7)
- pre-commit (6)
- category-theory (6)
- group-theory (5)
- cleanup (4)
- CI (4)
- documentation (3)
Top Pull Request Labels
- foundation (80)
- synthetic-homotopy-theory (63)
- refactoring (40)
- category-theory (31)
- group-theory (28)
- website (20)
- fix (18)
- repo-maintenance (17)
- guides (11)
- orthogonal-factorization-systems (11)
- elementary-number-theory (10)
- CI (9)
- structured-types (9)
- pre-commit (8)
- cleanup (7)