Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / UniMath / agda-unimath issue stats
Last synced: 10 months ago
Total issues: 73
Total pull requests: 283
Average time to close issues: about 2 months
Average time to close pull requests: 5 days
Total issue authors: 8
Total pull request authors: 11
Average comments per issue: 1.63
Average comments per pull request: 4.92
Merged pull requests: 252
Bot issues: 0
Bot pull requests: 0
Past year issues: 72
Past year pull requests: 283
Past year average time to close issues: about 2 months
Past year average time to close pull requests: 5 days
Past year issue authors: 7
Past year pull request authors: 11
Past year average comments per issue: 1.57
Past year average comments per pull request: 4.92
Past year merged pull requests: 252
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniMath%2Fagda-unimath
Issue Author Associations
- Collaborator (67, 91.78%)
- Contributor (5, 6.85%)
- None (1, 1.37%)
Pull Request Author Associations
- Collaborator (205, 72.44%)
- Contributor (78, 27.56%)
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)
- UlrikBuchholtz (2)
- FernandoChu (2)
- wrest64 (2)
- elisabethstenholm (1)
- GregorPercic (1)
All Maintainers
- fredrik-bakke (126)
- EgbertRijke (107)
- VojtechStep (35)
- jonaprieto (2)
- elisabethbonnevier (1)
- elisabethstenholm (1)
Active Maintainers
- fredrik-bakke (32)
- EgbertRijke (17)
- VojtechStep (14)
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)
- orthogonal-factorization-systems (3)
- formalization-target (3)
- ring-theory (2)
- structured-types (2)
- organic-chemistry (1)
- repo-maintenance (1)
- guides (1)
- species (1)
- commutative-algebra (1)
- elementary-number-theory (1)
- tooling (1)
- set-theory (1)
- question (1)
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)
- documentation (6)
- order-theory (6)
- ring-theory (5)
- tooling (5)
- higher-group-theory (5)
- bug (4)
- commutative-algebra (4)
- enhancement (4)
- graph-theory (3)
- univalent-combinatorics (3)
- modal-type-theory (2)
- formatting (2)
- do not merge (2)
- question (2)
- mage (2)