Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MikaelMayer issue stats
Total issues: 182
Total pull requests: 226
Merged pull request: 172
Average time to close issues: 2 months
Average time to close pull requests: 13 days
Average comments per issue: 1.58
Average comments per pull request: 0.63
Issues created
- dafny-lang/dafny: 153
- dafny-lang/ide-vscode: 8
- MikaelMayer/Editor: 6
- ravichugh/sketch-n-sketch: 4
- spray/sbt-revolver: 2
- sjrd/scala-js-jquery: 1
- rchipka/kudzu: 1
- robovm/robovm: 1
- lihaoyi/hands-on-scala-js: 1
- dafny-lang/dafny.msbuild: 1
- epfl-lara/leon-web: 1
- banshee/AndroidProguardScala: 1
- rchipka/esprima-eval: 1
- koka-lang/madoko: 1
Pull requests created
- dafny-lang/dafny: 174
- dafny-lang/ide-vscode: 13
- epfl-lara/leon-web: 9
- dafny-lang/blog: 8
- ravichugh/sketch-n-sketch: 7
- dafny-lang/libraries: 3
- dafny-lang/rfcs: 2
- regb/scala-smtlib: 2
- sjrd/scala-js-jquery: 2
- dafny-lang/dafny-lang.github.io: 2
- beemojs/conventional-pr-action: 1
- elm-tools/parser: 1
- MikaelMayer/Editor: 1
- dafny-lang/compiler-bootstrap: 1
Maintainer
Active Maintainer
- dafny-lang/dafny: 199
- dafny-lang/ide-vscode: 7
- dafny-lang/rfcs: 1
Issue Author Associations
- Member (162, 89.01%)
- None (8, 4.40%)
- Owner (6, 3.30%)
- Collaborator (5, 2.75%)
- Contributor (1, 0.55%)
Pull Request Author Associations
- Member (203, 89.82%)
- Collaborator (16, 7.08%)
- None (4, 1.77%)
- Contributor (2, 0.88%)
- Owner (1, 0.44%)
Top Issue Labels
- kind: bug (85)
- kind: enhancement (22)
- kind: language development speed (19)
- part: language server (16)
- priority: next (14)
- part: verifier (12)
- during 1: program development (11)
- severity: release-blocker (9)
- makes-mikael-grateful (9)
- during 2: compilation of correct program (7)
- during 3: execution of incorrect program (7)
- area: error-reporting (6)
- part: language definition (6)
- priority: not yet (6)
- part: code-generation (5)
Top Pull Request Labels
- run-deep-tests (7)
- run-integration-tests (5)
- severity: release-blocker (2)
- need-check-proof-variability (1)
- enhancement (1)