Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / kbuzzard issue stats
Total issues: 33
Total pull requests: 31
Merged pull request: 20
Average time to close issues: 6 months
Average time to close pull requests: 13 days
Average comments per issue: 2.64
Average comments per pull request: 1.16
Issues created
- ImperialCollegeLondon/xena-UROP-2018: 11
- leanprover-community/mathlib: 8
- leanprover/lean3: 3
- leanprover-community/mathlib-tools: 2
- ImperialCollegeLondon/M1F-explained: 2
- ImperialCollegeLondon/P11-Galois-Theory: 2
- leanprover-community/mathlib4: 2
- zulip/zulip: 1
- ImperialCollegeLondon/condensed-sets: 1
- leanprover-community/doc-gen: 1
Pull requests created
Maintainer
- leanprover-community/mathlib: 25
- leanprover-community/mathlib4: 14
- ImperialCollegeLondon/xena-UROP-2018: 11
- ImperialCollegeLondon/M1F-explained: 3
- leanprover-community/mathlib-tools: 2
- ImperialCollegeLondon/P11-Galois-Theory: 2
- ImperialCollegeLondon/condensed-sets: 1
- ImperialCollegeLondon/group-theory-game: 1
- leanprover-community/doc-gen: 1
Active Maintainer
Issue Author Associations
- Collaborator (16, 48.48%)
- Member (13, 39.39%)
- None (4, 12.12%)
Pull Request Author Associations
- Member (29, 93.55%)
- Collaborator (2, 6.45%)
Top Issue Labels
- RFC (5)
- bug (1)
- area: markdown (LaTeX) (1)