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: 47
Total pull requests: 83
Merged pull request: 71
Average time to close issues: about 1 month
Average time to close pull requests: 9 days
Average comments per issue: 1.51
Average comments per pull request: 7.05
Issues created
Pull requests created
Maintainer
- UniMath/agda-unimath: 126
Active Maintainer
Issue Author Associations
- Collaborator (43, 91.49%)
- None (4, 8.51%)
Pull Request Author Associations
- Collaborator (83, 100.00%)
Top Issue Labels
- good first issue (21)
- univalent-combinatorics (7)
- bug (6)
- website (5)
- foundation (5)
- category-theory (5)
- refactoring (5)
- pre-commit (5)
- group-theory (4)
- synthetic-homotopy-theory (4)
- enhancement (4)
- CI (2)
- ring-theory (2)
- orthogonal-factorization-systems (2)
- help wanted (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)
- group-theory (4)
- structured-types (3)
- documentation (3)
- CI (3)
- elementary-number-theory (3)