Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fpvandoorn issue stats
Total issues: 50
Total pull requests: 63
Merged pull request: 51
Average time to close issues: 3 months
Average time to close pull requests: 5 days
Average comments per issue: 1.74
Average comments per pull request: 0.65
Issues created
- gebner/hott3: 7
- leanprover/vscode-lean4: 5
- leanprover/tutorial: 5
- leanprover-community/doc-gen: 4
- plastex/plastex: 4
- fpvandoorn/carleson: 4
- leanprover/vscode-lean: 4
- leanprover/doc-gen4: 3
- cangiuli/hanabi: 3
- nomeata/loogle: 2
- Hanabi-Live/hanabi-live: 2
- leanprover/lean2: 2
- jldodds/coq-lean-cheatsheet: 1
- leanprover/lean3: 1
- leanprover/leanprover.github.io: 1
- seripap/vscode-memory: 1
- arthurpaulino/chrome-lean-unicode: 1
Pull requests created
- fpvandoorn/carleson: 40
- leanprover/tutorial: 7
- leanprover/leanprover.github.io: 3
- leanprover/vscode-lean: 2
- leanprover-community/mathlib-tools: 2
- cangiuli/hanabi: 2
- fpvandoorn/bonnanalysis: 2
- mortberg/cubicaltt: 1
- arthurpaulino/chrome-lean-unicode: 1
- jldodds/coq-lean-cheatsheet: 1
- leanprover-community/mathlib4: 1
- gebner/hott3: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (19, 38.00%)
- None (13, 26.00%)
- Collaborator (10, 20.00%)
- Owner (4, 8.00%)
- Member (4, 8.00%)
Pull Request Author Associations
- Owner (42, 66.67%)
- Contributor (13, 20.63%)
- Member (3, 4.76%)
- Collaborator (3, 4.76%)
- None (2, 3.17%)
Top Issue Labels
- bug (4)
- RFC (2)
- enhancement (1)
Top Pull Request Labels
- awaiting-review (1)