GitHub / carlostome issue stats
Total issues: 48
Total pull requests: 95
Merged pull request: 69
Average time to close issues: 30 days
Average time to close pull requests: about 1 month
Average comments per issue: 0.6
Average comments per pull request: 0.58
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (21, 43.75%)
- Contributor (17, 35.42%)
- None (10, 20.83%)
Pull Request Author Associations
- Contributor (54, 56.84%)
- Collaborator (33, 34.74%)
- None (8, 8.42%)
Top Issue Labels
- enhancement (7)
- 🛠️ infrastructure (6)
- bug (4)
- documentation (4)
- conformance (2)
- latex (2)
- bug-on-correct-input (1)
- agda (1)
- type: enhancement (1)
- ux: library management (1)
- backend: latex (1)
- backend: html (1)
- backend: dot (1)
- api (1)
- good first issue (1)
Top Pull Request Labels
- :fountain_pen: documentation (2)
- addition (2)
- 🛠️ infrastructure (2)
- type: bug (1)
- blocked: action-required (1)
- :detective: testing (1)
- conformance (1)
- enhancement (1)
- bug (1)