Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / leanprover-community / mathlib4 issue stats

Last synced: 2 months ago

Total issues: 11
Total pull requests: 287
Average time to close issues: 7 months
Average time to close pull requests: 16 days
Total issue authors: 7
Total pull request authors: 59
Average comments per issue: 1.27
Average comments per pull request: 2.11
Merged pull requests: 81
Bot issues: 0
Bot pull requests: 0

Past year issues: 1
Past year pull requests: 98
Past year average time to close issues: N/A
Past year average time to close pull requests: 4 days
Past year issue authors: 1
Past year pull request authors: 43
Past year average comments per issue: 8.0
Past year average comments per pull request: 2.38
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/leanprover-community/mathlib4
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover-community%2Fmathlib4

Issue Author Associations

Member (6, 54.55%)
Collaborator (3, 27.27%)
None (2, 18.18%)

Pull Request Author Associations

Member (102, 35.54%)
Contributor (101, 35.19%)
Collaborator (81, 28.22%)
None (3, 1.05%)

Active Maintainers

Top Issue Labels

Top Pull Request Labels

awaiting-review (55)
WIP (21)
ready-to-merge (20)
new-contributor (20)
awaiting-author (15)
merge-conflict (14)
t-algebra (12)
delegated (12)
easy (10)
tech debt (10)
t-topology (7)
t-category-theory (6)
t-measure-probability (6)
blocked-by-other-PR (6)
t-meta (6)
t-logic (5)
t-analysis (4)
mathlib-port (3)
maintainer-merge (3)
t-order (3)
t-combinatorics (2)
RFC (2)
wontfix (2)
porting-notes (1)
awaiting-CI (1)
lftcm2024 (1)
auto-merge-after-CI (1)
new-feature (1)
t-linter (1)
modifies-tactic-syntax (1)