Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / keyboardDrummer issue stats
Total issues: 161
Total pull requests: 721
Merged pull request: 593
Average time to close issues: 7 months
Average time to close pull requests: 8 days
Average comments per issue: 1.53
Average comments per pull request: 0.26
Issues created
- dafny-lang/dafny: 122
- keyboardDrummer/Miksilo: 17
- microsoft/vstest: 10
- dragos/dragos-vscode-scala: 3
- build-server-protocol/build-server-protocol: 2
- microsoft/codecoverage: 1
- dotnet/format: 1
- sourcegraph/javascript-typescript-langserver: 1
- microsoft/lsif-node: 1
- microsoft/language-server-protocol: 1
- dotnet/vscode-csharp: 1
- iguana-parser/iguana: 1
Pull requests created
Maintainer
Active Maintainer
- dafny-lang/dafny: 349
Issue Author Associations
- Member (122, 75.78%)
- None (21, 13.04%)
- Owner (17, 10.56%)
- Contributor (1, 0.62%)
Pull Request Author Associations
- Owner (447, 62.00%)
- Member (270, 37.45%)
- None (4, 0.55%)
Top Issue Labels
- kind: enhancement (39)
- kind: language development speed (34)
- kind: bug (29)
- part: language server (20)
- kind: development-speed (16)
- priority: next (16)
- part: verifier (11)
- need-additional-info (10)
- during 1: program development (9)
- part: resolver (9)
- development-speed (7)
- during 2: compilation of correct program (6)
- priority: not yet (5)
- modular-compilation (5)
- part: language definition (4)
Top Pull Request Labels
- run-deep-tests (16)
- Enhancement (1)
- Next MAJOR update (Abelt) (1)
- severity: release-blocker (1)
- makes-mikael-grateful (1)
- run-integration-tests (1)