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: 56
Merged pull request: 44
Average time to close issues: 6 months
Average time to close pull requests: 14 days
Average comments per issue: 3.06
Average comments per pull request: 1.18
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
- 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 (45, 80.36%)
- Contributor (11, 19.64%)
Top Issue Labels
- enhancement (1)