GitHub / seanmcl issue stats
Total issues: 29
Total pull requests: 177
Merged pull request: 149
Average time to close issues: 6 months
Average time to close pull requests: 18 days
Average comments per issue: 1.31
Average comments per pull request: 0.5
Issues created
- dafny-lang/dafny: 9
- leanprover/KLR: 5
- Bayer-Group/cloudformation-template-generator: 2
- HairyFotr/linter: 2
- leanprover/lean-action: 2
- mesos/chronos: 1
- leanprover-community/highlightjs-lean: 1
- ccin2p3/puppet-cpan: 1
- leanprover/lean4: 1
- awslabs/typecart: 1
- leanprover/sherloc: 1
- openxla/stablehlo: 1
- robsimmons/agda-lib: 1
- sensu-plugins/sensu-plugins-aws: 1
Pull requests created
- leanprover/KLR: 80
- leanprover/tensorlib: 35
- Bayer-Group/cloudformation-template-generator: 31
- awslabs/aws-kms-compliance-checker: 4
- aws-cloudformation/aws-cloudformation-resource-providers-accessanalyzer: 4
- robsimmons/thesis: 3
- sensu-plugins/sensu-plugins-mesos: 3
- ccin2p3/puppet-cpan: 2
- leanprover/sherloc: 2
- yav/smtlib: 2
- awslabs/typecart: 1
- seanmcl/kms-compliance-example: 1
- seanmcl/website: 1
- szermatt/emacs-bash-completion: 1
- dafny-lang/dafny: 1
- jrudolph/pekko-http-scala-js-websocket-chat: 1
- leanprover/lean4: 1
- p-org/P: 1
- leanprover/lean4-cli: 1
- deric/puppet-mesos: 1
- bkirwi/decline: 1
Maintainer
Active Maintainer
- leanprover/KLR: 85
- leanprover/tensorlib: 35
Issue Author Associations
- Collaborator (14, 48.28%)
- None (10, 34.48%)
- Contributor (5, 17.24%)
Pull Request Author Associations
- Collaborator (116, 65.54%)
- Contributor (55, 31.07%)
- None (4, 2.26%)
- Owner (2, 1.13%)
Top Issue Labels
- kind: bug (5)
- kind: enhancement (4)
- priority: not yet (3)
- part: resolver (3)
- has-workaround: yes (2)
- bug (2)
- misc: cleanup (1)
- makes-mikael-grateful (1)
- status: needs-decision (1)
- part: parser (1)
- during 2: compilation of correct program (1)
- area: ffi (1)
- part: language definition (1)
- priority: next (1)
- misc: language proposals (1)
Top Pull Request Labels
- breaking (1)
- builds-mathlib (1)
- toolchain-available (1)
- changelog-library (1)