Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / samuelgruetter issue stats
Total issues: 56
Total pull requests: 88
Merged pull request: 56
Average time to close issues: about 2 years
Average time to close pull requests: about 1 month
Average comments per issue: 4.52
Average comments per pull request: 1.64
Issues created
- ReactiveX/RxScala: 18
- tchajed/coq-record-update: 8
- coq/coq: 5
- scala/scala3: 5
- lukaszcz/coqhammer: 3
- mit-plv/bedrock2: 2
- uwplse/PUMPKIN-PATCH: 2
- coq/ltac2: 2
- verse-lab/sisyphus: 2
- ProofGeneral/PG: 2
- cpitclaudel/company-coq: 2
- QuickChick/QuickChick: 1
- yous/whiteglass: 1
- c-cube/smbc: 1
- jasongross/coq-tools: 1
- ReactiveX/RxSwing: 1
Pull requests created
- mit-plv/riscv-semantics: 23
- mit-plv/bedrock2: 16
- mit-plv/fiat-crypto: 8
- mit-plv/rupicola: 6
- scala/scala3: 5
- mit-plv/coqutil: 4
- tchajed/coq-record-update: 4
- ReactiveX/RxScala: 4
- ReactiveX/RxSwing: 3
- mit-plv/bbv: 3
- coq/coq: 2
- tiarkrompf/minidot: 1
- evanw/fsm: 1
- epfl-lara/leon-web: 1
- spinalhdl/spinaltemplatesbt: 1
- rsnikhil/riscv_isa_spec_tour: 1
- mit-plv/kami: 1
- PrincetonUniversity/VST: 1
- 23skidoo/homepage: 1
- dafny-lang/rfcs: 1
- dafny-lang/libraries: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (21, 37.50%)
- Collaborator (18, 32.14%)
- None (17, 30.36%)
Pull Request Author Associations
- Contributor (78, 88.64%)
- Collaborator (6, 6.82%)
- None (3, 3.41%)
- Member (1, 1.14%)
Top Issue Labels
- enhancement (3)
- bug (3)
- wish (2)
- UI (2)
- part: ltac2 (1)
- part: typeclasses (1)
- kind: wish (1)
- stat:fix available (1)
- prio:low (1)
- part: tactics (1)
- kind: regression (1)
- part: sections (1)
- kind: bug (1)
Top Pull Request Labels
- needs: rebase (2)
- needs: squashing (2)
- stale (2)
- needs: full CI (2)