Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fredrik-bakke issue stats
Total issues: 63
Total pull requests: 100
Merged pull request: 87
Average time to close issues: 2 months
Average time to close pull requests: 12 days
Average comments per issue: 1.67
Average comments per pull request: 7.11
Issues created
Pull requests created
Maintainer
- UniMath/agda-unimath: 126
Active Maintainer
Issue Author Associations
- Collaborator (43, 68.25%)
- Contributor (16, 25.40%)
- None (4, 6.35%)
Pull Request Author Associations
- Collaborator (83, 83.00%)
- Contributor (17, 17.00%)
Top Issue Labels
- good first issue (21)
- bug (13)
- univalent-combinatorics (7)
- foundation (5)
- refactoring (5)
- pre-commit (5)
- category-theory (5)
- website (5)
- enhancement (5)
- synthetic-homotopy-theory (4)
- group-theory (4)
- formalization-target (2)
- help wanted (2)
- orthogonal-factorization-systems (2)
- ring-theory (2)
Top Pull Request Labels
- foundation (30)
- refactoring (24)
- category-theory (20)
- fix (10)
- orthogonal-factorization-systems (8)
- pre-commit (8)
- repo-maintenance (7)
- synthetic-homotopy-theory (6)
- order-theory (4)
- cleanup (4)
- documentation (4)
- group-theory (4)
- bug (3)
- structured-types (3)
- CI (3)