GitHub / digama0 issue stats
Total issues: 50
Total pull requests: 104
Merged pull request: 67
Average time to close issues: 3 months
Average time to close pull requests: 26 days
Average comments per issue: 3.04
Average comments per pull request: 1.69
Issues created
- leanprover/lean4: 8
- Baezon/pof-tools: 8
- sorear/smetamath-rs: 5
- leanprover/vscode-lean: 4
- rust-lang/annotate-snippets-rs: 2
- digama0/mm0: 2
- leanprover/lean3: 2
- agda/agda: 2
- rust-lang/rust-clippy: 2
- zulip/zulip: 1
- leanprover/theorem_proving_in_lean4: 1
- dotnet/vscode-dotnet-runtime: 1
- racket/redex: 1
- leetvr/hotham: 1
- leanprover-community/mathlib: 1
- leanprover/lean4export: 1
- rust-num/num: 1
- rust-lang/rust: 1
- leanprover/reservoir: 1
- digama0/mmj2: 1
- rust-lang/rustfmt: 1
- rust-lang/hashbrown: 1
- trivial-rs/kernel: 1
- digama0/mizar-rs: 1
Pull requests created
- Baezon/pof-tools: 19
- leanprover/lean4: 16
- sorear/smetamath-rs: 13
- supermedium/moonrider: 8
- leanprover/lean3: 6
- imperialcollegelondon/flt: 4
- saterus/asm_simulator: 3
- rust-lang/rust-clippy: 3
- rust-lang/a-mir-formality: 2
- leanprover/doc-gen4: 2
- gltf-rs/gltf: 2
- agda/agda: 2
- leanprover/lean4checker: 2
- kassane/lean4-zig: 2
- rust-lang/annotate-snippets-rs: 2
- leanprover/theorem_proving_in_lean4: 2
- leanprover-community/mathlib4: 2
- geohot/twitchcoq: 1
- digama0/lean-sys: 1
- lambda-fairy/if_chain: 1
- Marwes/pretty.rs: 1
- leanprover/smt2_interface: 1
- glium/glium: 1
- leanprover/leanink: 1
- rust-num/num-bigint: 1
- digama0/mm0: 1
- leanprover/super: 1
- leanprover-community/doc-gen: 1
- rocq-prover/rocq: 1
- leanprover/lean4-cli: 1
- tokio-rs/slab: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (19, 38.00%)
- Collaborator (17, 34.00%)
- None (9, 18.00%)
- Owner (4, 8.00%)
- Member (1, 2.00%)
Pull Request Author Associations
- Contributor (57, 54.81%)
- Collaborator (38, 36.54%)
- None (4, 3.85%)
- Member (3, 2.88%)
- Owner (2, 1.92%)
Top Issue Labels
- bug (9)
- enhancement (4)
- C-bug (3)
- I-false-positive (2)
- P-medium (2)
- internal-error (2)
- generalize (1)
- builtin (1)
- Lake (1)
- P-low (1)
- reflection (1)
- C-discussion (1)
- server (1)
- untriaged (1)
- T-types (1)
Top Pull Request Labels
- awaiting-author (8)
- toolchain-available (7)
- S-waiting-on-review (3)
- enhancement (3)
- clean up (3)
- low priority (3)
- changelog-language (1)
- changelog-no (1)
- needs: full CI (1)
- needs: progress (1)
- CI (1)
- delegated (1)
- P-low (1)
- refactor (1)
- GenericError (1)