Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / digama0 issue stats
Total issues: 85
Total pull requests: 159
Merged pull request: 125
Average time to close issues: about 1 month
Average time to close pull requests: 11 days
Average comments per issue: 2.61
Average comments per pull request: 1.08
Issues created
- Baezon/pof-tools: 32
- leanprover/lean4: 6
- digama0/mm0: 6
- sorear/smetamath-rs: 5
- agda/agda: 4
- leanprover/vscode-lean: 4
- leanprover-community/mathlib: 3
- digama0/mmj2: 2
- leanprover/reservoir: 2
- rust-lang/rust: 2
- leanprover/lean3: 2
- rust-lang/rust-clippy: 2
- leanprover/theorem_proving_in_lean4: 2
- rust-lang/rustfmt: 2
- rust-lang/annotate-snippets-rs: 2
- leanprover/lean4export: 1
- dotnet/vscode-dotnet-runtime: 1
- rust-lang/hashbrown: 1
- trivial-rs/kernel: 1
- zulip/zulip: 1
- racket/redex: 1
- leetvr/hotham: 1
- rust-num/num: 1
- digama0/mizar-rs: 1
Pull requests created
- Baezon/pof-tools: 65
- leanprover/lean4: 15
- sorear/smetamath-rs: 13
- supermedium/moonrider: 8
- leanprover/lean3: 6
- gltf-rs/gltf: 5
- agda/agda: 4
- leanprover/doc-gen4: 4
- leanprover/theorem_proving_in_lean4: 4
- imperialcollegelondon/flt: 4
- saterus/asm_simulator: 3
- rust-lang/rust-clippy: 3
- leanprover/lean4checker: 3
- rust-lang/annotate-snippets-rs: 2
- leanprover-community/mathlib4: 2
- kassane/lean4-zig: 2
- rust-lang/a-mir-formality: 2
- leanprover/leanink: 2
- glium/glium: 1
- leanprover/smt2_interface: 1
- geohot/twitchcoq: 1
- rust-num/num-bigint: 1
- digama0/mm0: 1
- leanprover/super: 1
- leanprover-community/doc-gen: 1
- leanprover/lean4-cli: 1
- digama0/lean-sys: 1
- lambda-fairy/if_chain: 1
- tokio-rs/slab: 1
- Marwes/pretty.rs: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (39, 45.88%)
- Contributor (23, 27.06%)
- None (11, 12.94%)
- Owner (9, 10.59%)
- Member (3, 3.53%)
Pull Request Author Associations
- Collaborator (83, 52.20%)
- Contributor (68, 42.77%)
- Member (3, 1.89%)
- None (3, 1.89%)
- Owner (2, 1.26%)
Top Issue Labels
- bug (21)
- enhancement (7)
- C-bug (4)
- internal-error (4)
- Lake (2)
- P-medium (2)
- I-false-positive (2)
- A-inference (2)
- T-types (2)
- RFC (2)
- reflection (2)
- C-discussion (2)
- builtin (2)
- generalize (2)
- server (1)
Top Pull Request Labels
- enhancement (11)
- clean up (11)
- awaiting-author (8)
- toolchain-available (5)
- low priority (4)
- S-waiting-on-review (3)
- GenericError (2)
- refactor (2)
- P-low (2)
- needs-update-stage0 (1)
- WIP (1)
- builds-mathlib (1)
- breaks-mathlib (1)
- bug (1)