Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / davidcok issue stats
Total issues: 37
Total pull requests: 44
Merged pull request: 31
Average time to close issues: 7 months
Average time to close pull requests: 14 days
Average comments per issue: 1.14
Average comments per pull request: 0.48
Issues created
Pull requests created
- dafny-lang/dafny: 44
Maintainer
- dafny-lang/dafny: 79
Active Maintainer
Issue Author Associations
- Collaborator (35, 94.59%)
- None (2, 5.41%)
Pull Request Author Associations
- Collaborator (44, 100.00%)
Top Issue Labels
- kind: enhancement (15)
- kind: bug (11)
- part: documentation (8)
- crash (5)
- misc: cleanup (5)
- part: parser (4)
- area: error-reporting (3)
- during 2: compilation of correct program (3)
- during 1: program development (2)
- priority: not yet (2)
- kind: language development speed (2)
- priority: next (2)
- part: code-generation (2)
- part: CLI (2)
- more information needed (1)
Top Pull Request Labels
- run-deep-tests (4)