GitHub / seanmcl issue stats
Total issues: 40
Total pull requests: 335
Merged pull request: 262
Average time to close issues: 3 months
Average time to close pull requests: about 1 month
Average comments per issue: 0.9
Average comments per pull request: 0.37
Issues created
- dafny-lang/dafny: 9
- leanprover/KLR: 5
- leanprover/tensorlib: 3
- leanprover/lean4: 3
- Bayer-Group/cloudformation-template-generator: 2
- HairyFotr/linter: 2
- leanprover/lean-action: 2
- pypa/cibuildwheel: 2
- openxla/stablehlo: 1
- awslabs/typecart: 1
- leanprover-community/highlightjs-lean: 1
- argumentcomputer/LSpec: 1
- cedar-policy/cedar-spec: 1
- leanprover/theorem_proving_in_lean4: 1
- leanprover/sherloc: 1
- sensu-plugins/sensu-plugins-aws: 1
- mesos/chronos: 1
- robsimmons/agda-lib: 1
- leanprover/lean4-cli: 1
- ccin2p3/puppet-cpan: 1
Pull requests created
- leanprover/KLR: 166
- leanprover/tensorlib: 96
- Bayer-Group/cloudformation-template-generator: 31
- aws-cloudformation/aws-cloudformation-resource-providers-accessanalyzer: 4
- awslabs/aws-kms-compliance-checker: 4
- leanprover/lean4-cli: 3
- sensu-plugins/sensu-plugins-mesos: 3
- leanprover/sherloc: 3
- robsimmons/thesis: 3
- seanmcl/kms-compliance-example: 2
- leanprover/lean4: 2
- yav/smtlib: 2
- ccin2p3/puppet-cpan: 2
- p-org/P: 2
- jrudolph/pekko-http-scala-js-websocket-chat: 1
- dafny-lang/dafny: 1
- szermatt/emacs-bash-completion: 1
- awslabs/typecart: 1
- boogie-org/boogie-friends: 1
- tlh/workgroups.el: 1
- bkirwi/decline: 1
- seanmcl/website: 1
- leanprover/nkl: 1
- bazelbuild/rules_scala: 1
- deric/puppet-mesos: 1
- aws-neuron/aws-neuron-sdk: 1
Maintainer
Active Maintainer
- leanprover/KLR: 171
- leanprover/tensorlib: 99
- leanprover/nkl: 1
Issue Author Associations
- None (18, 45.00%)
- Collaborator (17, 42.50%)
- Contributor (5, 12.50%)
Pull Request Author Associations
- Collaborator (264, 78.81%)
- Contributor (57, 17.01%)
- None (11, 3.28%)
- Owner (3, 0.90%)
Top Issue Labels
- kind: bug (5)
- kind: enhancement (4)
- part: resolver (3)
- priority: not yet (3)
- bug (3)
- has-workaround: yes (2)
- feature-request (1)
- P-high (1)
- RFC (1)
- status: fixed (1)
- part: documentation (1)
- misc: language proposals (1)
- priority: next (1)
- part: language definition (1)
- area: ffi (1)
Top Pull Request Labels
- builds-mathlib (2)
- toolchain-available (2)
- changelog-library (2)
- breaking (1)
- cla: yes (1)