Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tobiasgrosser issue stats
Total issues: 37
Total pull requests: 36
Merged pull request: 28
Average time to close issues: about 1 month
Average time to close pull requests: 4 days
Average comments per issue: 4.49
Average comments per pull request: 2.92
Issues created
- AntonLydike/riscemu: 9
- jupyterlite/jupyterlite: 6
- pypyjs/pypyjs: 5
- xavierd/clang_complete: 3
- maerhart/llhd: 2
- digama0/leangz: 1
- leanprover/lean-llvm: 1
- papychacal/xdsl-workshop: 1
- rhysd/vim-clang-format: 1
- gpoore/minted: 1
- digint/btrbk: 1
- leanprover/lean4: 1
- scttcper/gatsby-casper: 1
- zulip/github-actions-zulip: 1
- latex-lsp/tree-sitter-latex: 1
- nico/demumble: 1
- llvm/llvm-project: 1
Pull requests created
- leanprover/lean4: 13
- xavierd/clang_complete: 7
- leanprover/doc-gen4: 2
- leanprover/logic_and_proof_lean3: 2
- maerhart/llhd: 2
- papychacal/xdsl-workshop: 2
- scttcper/gatsby-casper: 2
- pypyjs/pypyjs: 1
- creachadair/imath: 1
- digint/btrbk: 1
- leanprover/lean-llvm: 1
- grin-compiler/grin: 1
- spcl/open-earth-compiler: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (22, 59.46%)
- Contributor (9, 24.32%)
- Collaborator (6, 16.22%)
Pull Request Author Associations
- Contributor (23, 63.89%)
- Collaborator (12, 33.33%)
- None (1, 2.78%)
Top Issue Labels
- enhancement (9)
- bug (2)
- backend:ARM (1)
- bugzilla (1)
Top Pull Request Labels
- toolchain-available (13)
- awaiting-review (2)
- P-high (1)
- builds-mathlib (1)