Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MizarWeb issue stats
Total issues: 37
Total pull requests: 63
Merged pull request: 32
Average time to close issues: 7 months
Average time to close pull requests: 20 days
Average comments per issue: 0.54
Average comments per pull request: 0.19
Issues created
- MizarWeb/Mizar: 37
Pull requests created
- MizarWeb/Mizar: 63
Issue owner Associations
- Member (24, 64.86%)
- Contributor (11, 29.73%)
- None (2, 5.41%)
Pull Request owner Associations
- Contributor (28, 44.44%)
- None (24, 38.10%)
- Member (11, 17.46%)
All Maintainers
- J-Christophe (35)
Active Maintainers
Top Issue Authors
- J-Christophe (24)
- ratamiez (8)
- malapert (2)
- cmourglia (1)
- sebastienbinda (1)
- yellooo (1)
Top Pull Request Authors
- dependabot[bot] 🤖 (23)
- cmourglia (20)
- J-Christophe (11)
- mmebsout (3)
- flavignotte (2)
- malapert (2)
- hug0b (1)
- serut (1)
Top Issue Labels
- enhancement (17)
- bug (10)
Top Pull Request Labels
- dependencies (23)