Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / EgbertRijke issue stats
Total issues: 14
Total pull requests: 97
Merged pull request: 85
Average time to close issues: about 2 months
Average time to close pull requests: 4 days
Average comments per issue: 1.43
Average comments per pull request: 3.6
Issues created
- UniMath/agda-unimath: 13
- rzk-lang/rzk: 1
Pull requests created
Maintainer
- UniMath/agda-unimath: 107
- hott/epit-2020: 2
Active Maintainer
Issue Author Associations
- Collaborator (13, 92.86%)
- None (1, 7.14%)
Pull Request Author Associations
- Collaborator (96, 98.97%)
- Contributor (1, 1.03%)
Top Issue Labels
- refactoring (3)
- foundation (3)
- bug (2)
- enhancement (1)
- group-theory (1)
- organic-chemistry (1)
- good first issue (1)
- documentation (1)
- guides (1)
- pre-commit (1)
- help wanted (1)
- CI (1)
- website (1)
- category-theory (1)
- synthetic-homotopy-theory (1)
Top Pull Request Labels
- foundation (22)
- group-theory (22)
- refactoring (13)
- synthetic-homotopy-theory (13)
- guides (9)
- category-theory (9)
- website (8)
- structured-types (5)
- repo-maintenance (5)
- ring-theory (4)
- higher-group-theory (4)
- elementary-number-theory (4)
- commutative-algebra (3)
- cleanup (3)
- fix (3)