Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Vtec234 issue stats
Total issues: 20
Total pull requests: 43
Merged pull request: 39
Average time to close issues: almost 2 years
Average time to close pull requests: about 1 month
Average comments per issue: 3.55
Average comments per pull request: 1.84
Issues created
Pull requests created
- leanprover/vscode-lean4: 21
- joehendrix/lean-crypto: 6
- KhronosGroup/Vulkan-Docs: 4
- vtec234/npm-widget: 3
- crossbeam-rs/crossbeam-epoch: 2
- leanprover-community/mathlib4: 2
- leanprover/lean4: 1
- crossbeam-rs/crossbeam-utils: 1
- leanprover/theorem_proving_in_lean: 1
- k3d3/crossbeam-arccell: 1
- digama0/lean-type-theory: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (8, 40.00%)
- Member (7, 35.00%)
- Contributor (4, 20.00%)
- Owner (1, 5.00%)
Pull Request Author Associations
- Member (26, 60.47%)
- Contributor (7, 16.28%)
- Collaborator (6, 13.95%)
- Owner (3, 6.98%)
- None (1, 2.33%)
Top Issue Labels
- enhancement (3)
- just do it (3)
- bug (3)
- RFC (3)
- area: buildsystem (2)
- lang: python (2)
- code quality (2)
- good first issue (2)
- rendering (1)
- c++ (1)
- assets (1)
- infrastructure (1)
- hacktoberfest (1)
- audit (1)
Top Pull Request Labels
- awaiting-author (2)