Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / keyboardDrummer issue stats
Total issues: 214
Total pull requests: 876
Merged pull request: 704
Average time to close issues: 8 months
Average time to close pull requests: 7 days
Average comments per issue: 1.3
Average comments per pull request: 0.26
Issues created
- dafny-lang/dafny: 160
- keyboardDrummer/Miksilo: 17
- dafny-lang/ide-vscode: 14
- microsoft/vstest: 10
- dragos/dragos-vscode-scala: 3
- build-server-protocol/build-server-protocol: 2
- microsoft/codecoverage: 1
- ScottPlot/ScottPlot: 1
- dotnet/vscode-csharp: 1
- dotnet/format: 1
- sourcegraph/javascript-typescript-langserver: 1
- microsoft/lsif-node: 1
- iguana-parser/iguana: 1
- microsoft/language-server-protocol: 1
Pull requests created
- keyboardDrummer/Miksilo: 446
- dafny-lang/dafny: 374
- dafny-lang/ide-vscode: 35
- keyboarddrummer/cloudformation-ide-tooling: 7
- dafny-lang/dafny-lang.github.io: 4
- dafny-lang/libraries: 2
- dragos/dragos-vscode-scala: 2
- Mottie/tablesorter: 1
- aws/aws-encryption-sdk: 1
- dafny-lang/rfcs: 1
- keyboardDrummer/DebtRatchet: 1
- dvdsgl/csharp-in-style: 1
- stp/OutputCheck: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (174, 81.31%)
- None (22, 10.28%)
- Owner (17, 7.94%)
- Contributor (1, 0.47%)
Pull Request Author Associations
- Owner (454, 51.83%)
- Member (416, 47.49%)
- None (5, 0.57%)
- Contributor (1, 0.11%)
Top Issue Labels
- kind: enhancement (54)
- kind: bug (39)
- kind: language development speed (39)
- part: language server (22)
- part: verifier (21)
- priority: not yet (17)
- kind: development-speed (16)
- priority: next (16)
- misc: brittleness (13)
- enhancement (11)
- misc: tests (11)
- during 1: program development (11)
- part: resolver (11)
- need-additional-info (10)
- part: code-generation (9)
Top Pull Request Labels
- run-deep-tests (24)
- run-integration-tests (6)
- Enhancement (1)
- Next MAJOR update (Abelt) (1)
- severity: release-blocker (1)
- makes-mikael-grateful (1)