GitHub / robertylewis issue stats
Total issues: 19
Total pull requests: 50
Merged pull request: 31
Average time to close issues: 10 months
Average time to close pull requests: 8 days
Average comments per issue: 2.16
Average comments per pull request: 2.7
Issues created
Pull requests created
- leanprover-community/doc-gen: 25
- robertylewis/actions-test: 7
- leanprover/leanprover.github.io: 3
- binpash/aggregators: 2
- zulip/zulip-archive: 2
- leanprover/tutorial: 2
- kbuzzard/xena: 1
- leanprover-community/mathlib: 1
- robertylewis/lean4-autograder-main: 1
- leanprover-community/mathlib-tools: 1
- leanprover/super: 1
- leanprover/theorem_proving_in_lean: 1
- leanprover-community/mathlib4: 1
- gebner/super2: 1
- leanprover/presentations: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (6, 31.58%)
- Collaborator (5, 26.32%)
- Member (4, 21.05%)
- Contributor (3, 15.79%)
- None (1, 5.26%)
Pull Request Author Associations
- Member (28, 56.00%)
- Contributor (9, 18.00%)
- Owner (8, 16.00%)
- None (3, 6.00%)
- Collaborator (2, 4.00%)
Top Issue Labels
Top Pull Request Labels
- new-contributor (2)
- merge-conflict (1)
- t-meta (1)