Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / madvorak issue stats
Total issues: 5
Total pull requests: 25
Merged pull request: 21
Average time to close issues: 29 minutes
Average time to close pull requests: 4 days
Average comments per issue: 2.2
Average comments per pull request: 0.8
Issues created
Pull requests created
- fpvandoorn/carleson: 9
- shetzl/autth: 5
- pitmonticone/leaninvienna2024: 2
- leanprover/sampcert: 1
- adambard/learnxinyminutes-docs: 1
- leanprover/doc-gen4: 1
- philzook58/philzook58.github.io: 1
- verified-optimization/CvxLean: 1
- madvorak/lean4-tactics: 1
- tkohout/ostrajava: 1
- leanprover-community/mathlib4: 1
- madvorak/vscode-lean4-colors: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (4, 80.00%)
- None (1, 20.00%)
Pull Request Author Associations
- Contributor (13, 52.00%)
- None (7, 28.00%)
- Collaborator (3, 12.00%)
- Owner (2, 8.00%)
Top Issue Labels
- RFC (4)
Top Pull Request Labels
- awaiting-review (1)