Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / siegebell issue stats
Total issues: 121
Total pull requests: 0
Merged pull request: 0
Average time to close issues: 3 months
Average time to close pull requests: N/A
Average comments per issue: 0.71
Average comments per pull request: 0
Issues created
- siegebell/vscoq: 117
- coady/multimethod: 1
- microsoft/vscode-vsce: 1
- vinhkhuc/JFastText: 1
- facebook/flow: 1
Pull requests created
Maintainer
- siegebell/vscoq: 117
Active Maintainer
Issue Author Associations
- Owner (117, 96.69%)
- None (4, 3.31%)
Pull Request Author Associations
Top Issue Labels
- bug (34)
- ui (34)
- enhancement (26)
- blocked (7)
- proof-view (2)
- xml-protocol (2)
- feature-request (1)
- verification-needed (1)
- verified (1)
- documentation (1)