GitHub / alexkeizer issue stats
Total issues: 25
Total pull requests: 46
Merged pull request: 35
Average time to close issues: about 1 month
Average time to close pull requests: 1 day
Average comments per issue: 1.64
Average comments per pull request: 1.28
Issues created
Pull requests created
Maintainer
- alexkeizer/qpftypes: 33
- leanprover/lnsym: 17
Active Maintainer
- leanprover/lnsym: 17
- alexkeizer/qpftypes: 13
Issue Author Associations
- Owner (14, 56.00%)
- Contributor (7, 28.00%)
- None (4, 16.00%)
Pull Request Author Associations
- Owner (19, 41.30%)
- Collaborator (17, 36.96%)
- Contributor (9, 19.57%)
- None (1, 2.17%)
Top Issue Labels
- bug (8)
- P-medium (4)
- good first issue (2)
- enhancement (1)
- can't reproduce (1)
- OS: linux (1)
- B: usability (1)
- easy (1)
- low prio (1)
- RFC (1)
- fixed by new code generator (1)
Top Pull Request Labels
- toolchain-available (4)
- awaiting-review (1)
- changelog-other (1)