Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fakusb issue stats
Total issues: 16
Total pull requests: 58
Merged pull request: 46
Average time to close issues: 6 months
Average time to close pull requests: 18 days
Average comments per issue: 3.06
Average comments per pull request: 1.17
Issues created
Pull requests created
- uds-psl/coq-library-undecidability: 19
- uds-psl/coq-library-complexity: 12
- coq-community/aac-tactics: 10
- uds-psl/base-library: 3
- armael/coq-procrastination: 3
- embassy-rs/embassy: 2
- coq-community/coqdocjs: 2
- MetaCoq/metacoq: 2
- sigurdschneider/smpl: 2
- uds-psl/time-invariance-thesis-for-l: 1
- embassy-rs/rp-pac: 1
- caemor/epd-waveshare: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (10, 62.50%)
- None (4, 25.00%)
- Contributor (2, 12.50%)
Pull Request Author Associations
- Member (47, 81.03%)
- Contributor (11, 18.97%)
Top Issue Labels
- enhancement (1)