GitHub / Timeroot issue stats
Total issues: 18
Total pull requests: 68
Merged pull request: 17
Average time to close issues: over 1 year
Average time to close pull requests: about 2 months
Average comments per issue: 2.28
Average comments per pull request: 2.6
Issues created
- Timeroot/Lean-QuantumInfo: 5
- JuliaIntervals/IntervalRootFinding.jl: 2
- JuliaLang/LinearAlgebra.jl: 1
- jupyter/notebook: 1
- oxfordcontrol/COSMO.jl: 1
- JuliaIO/JSON.jl: 1
- leanprover/lean4: 1
- suragnair/alpha-zero-general: 1
- kazuho/picojson: 1
- teorth/equational_theories: 1
- java-native-access/jna: 1
- JuliaMath/Polynomials.jl: 1
- stevengj/Sobol.jl: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (9, 50.00%)
- Owner (5, 27.78%)
- Contributor (4, 22.22%)
Pull Request Author Associations
- Collaborator (47, 69.12%)
- Contributor (14, 20.59%)
- None (7, 10.29%)
Top Issue Labels
- bug (6)
- tech-debt (2)
- status:Needs Triage (1)
- enhancement (1)
- help wanted (1)
- theorem-wishlist (1)
Top Pull Request Labels
- ready-to-merge (10)
- delegated (8)
- t-algebra (7)
- t-logic (5)
- easy (4)
- t-analysis (4)
- large-import (4)
- t-topology (3)
- t-data (3)
- documentation (3)
- merge-conflict (2)
- awaiting-author (2)
- blocked-by-other-PR (2)
- toolchain-available (1)
- changelog-no (1)