GitHub / VojtechStep issue stats
Total issues: 20
Total pull requests: 66
Merged pull request: 60
Average time to close issues: 5 months
Average time to close pull requests: 6 days
Average comments per issue: 2.1
Average comments per pull request: 5.08
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (8, 40.00%)
- Contributor (7, 35.00%)
- None (4, 20.00%)
- Owner (1, 5.00%)
Pull Request Author Associations
- Collaborator (33, 50.00%)
- Contributor (28, 42.42%)
- None (3, 4.55%)
- Owner (2, 3.03%)
Top Issue Labels
- synthetic-homotopy-theory (5)
- enhancement (4)
- help wanted (3)
- website (2)
- cleanup (2)
- bug (1)
- foundation (1)
- C-enhancement (1)
- question (1)
- good first issue (1)
- elementary-number-theory (1)
- structured-types (1)
- CI (1)
- type/bug (1)
- area/documentation (1)
Top Pull Request Labels
- synthetic-homotopy-theory (14)
- website (13)
- foundation (9)
- fix (7)
- CI (6)
- enhancement (5)
- repo-maintenance (5)
- tooling (4)
- bug (3)
- documentation (2)
- refactoring (2)
- literature (2)
- guides (1)
- 🏆 milestone 🏆 (1)
- mathswitch (1)