Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / bryangingechen issue stats
Total issues: 49
Total pull requests: 43
Merged pull request: 36
Average time to close issues: 7 months
Average time to close pull requests: 6 days
Average comments per issue: 0.98
Average comments per pull request: 2.86
Issues created
- leanprover-community/doc-gen: 26
- Rich-Harris/packd: 5
- leanprover/vscode-lean: 5
- VSCodeVim/Vim: 2
- leanprover/vscode-lean4: 2
- conda-forge/peewee-feedstock: 2
- eps1lon/actions-label-merge-conflict: 1
- GrantBirki/comment: 1
- leanprover-contrib/lean-upgrade-action: 1
- asg017/unofficial-observablehq-compiler: 1
- garnertb/get-team-members: 1
- leanprover/lean.tmbundle: 1
- sorz/accept-language-per-site: 1
Pull requests created
- leanprover-community/doc-gen: 13
- asg017/unofficial-observablehq-compiler: 9
- leanprover/vscode-lean: 7
- imperialcollegelondon/natural_number_game: 3
- leanprover/vscode-lean4: 2
- leanprover-community/highlightjs-lean: 2
- jonabc/sync-task-issues: 1
- leanprover/lean-client-js: 1
- leanprover-community/mathlib-tools: 1
- leanprover/leanprover.github.io: 1
- leanprover/lean3: 1
- mootari/observable-client: 1
- mljs/matrix: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (26, 53.06%)
- None (15, 30.61%)
- Contributor (8, 16.33%)
Pull Request Author Associations
- Contributor (28, 65.12%)
- Collaborator (15, 34.88%)
Top Issue Labels
- enhancement (2)
- bug (2)