Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Dafnik issue stats
Total issues: 6
Total pull requests: 38
Merged pull request: 34
Average time to close issues: about 2 months
Average time to close pull requests: 17 days
Average comments per issue: 3.83
Average comments per pull request: 1.32
Issues created
Pull requests created
Maintainer
- Dafnik/ssp: 8
- Dafnik/dfts-common: 6
Active Maintainer
- Dafnik/ssp: 8
- Dafnik/dfts-common: 5
Issue Author Associations
- Contributor (3, 50.00%)
- None (3, 50.00%)
Pull Request Author Associations
- Contributor (21, 55.26%)
- Owner (14, 36.84%)
- None (3, 7.89%)
Top Issue Labels
- enhancement (2)
- help wanted (2)
- bug (1)
Top Pull Request Labels
- needs: review (1)
- type: demo site (1)
- needs: prettier (1)
- new feature (1)
- released (1)
- chore (1)
- bug (1)