GitHub / bryangingechen issue stats
Total issues: 40
Total pull requests: 42
Merged pull request: 34
Average time to close issues: 5 months
Average time to close pull requests: 7 days
Average comments per issue: 1.35
Average comments per pull request: 2.07
Issues created
- leanprover-community/doc-gen: 16
- leanprover/vscode-lean: 5
- Rich-Harris/packd: 5
- leanprover/vscode-lean4: 3
- apetresc/lecons-sur-la-theorie-generale-des-surfaces: 1
- garnertb/get-team-members: 1
- conda-forge/peewee-feedstock: 1
- leanprover-contrib/lean-upgrade-action: 1
- VSCodeVim/Vim: 1
- asg017/unofficial-observablehq-compiler: 1
- 8BitJonny/gh-get-current-pr: 1
- leanprover/lean.tmbundle: 1
- GrantBirki/comment: 1
- eps1lon/actions-label-merge-conflict: 1
- sorz/accept-language-per-site: 1
Pull requests created
- leanprover-community/doc-gen: 9
- asg017/unofficial-observablehq-compiler: 9
- leanprover/vscode-lean: 7
- imperialcollegelondon/natural_number_game: 3
- leanprover/vscode-lean4: 2
- leanprover-community/highlightjs-lean: 2
- tspascoal/get-user-teams-membership: 1
- chrishughes24/sylow: 1
- jonabc/sync-task-issues: 1
- jjaassoonn/transcendental: 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 (16, 40.00%)
- None (15, 37.50%)
- Contributor (9, 22.50%)
Pull Request Author Associations
- Contributor (30, 71.43%)
- Collaborator (11, 26.19%)
- None (1, 2.38%)
Top Issue Labels
- bug (3)
- enhancement (2)
- ☢️ Bug (1)