GitHub / FissoreD issue stats

Total issues: 21
Total pull requests: 88
Merged pull request: 70
Average time to close issues: 6 months
Average time to close pull requests: 12 days
Average comments per issue: 1.29
Average comments per pull request: 0.69

Issues created

fissored/ter-m1-s2: 6
lpcic/elpi: 5
fissored/reaction-system: 4
coq/vscoq: 2
LPCIC/coq-elpi: 2
fissored/ho-unif-for-free: 1
fissored/annotator-and-mask-predictior: 1

Pull requests created

Maintainer

lpcic/elpi: 38
LPCIC/coq-elpi: 31
fissored/ho-unif-for-free: 8
fissored/reaction-system: 7
fissored/ter-m1-s2: 7
fissored/timetotank: 6
fissored/elpi2html: 2
fissored/annotator-and-mask-predictior: 1
fissored/cryptatorapp: 1
fissored/latex-docker: 1

Active Maintainer

Issue Author Associations

Owner (12, 57.14%)
Collaborator (7, 33.33%)
Contributor (2, 9.52%)

Pull Request Author Associations

Collaborator (62, 70.45%)
Owner (21, 23.86%)
Contributor (5, 5.68%)

Top Issue Labels

bug (3)
task (1)
enhancement (1)

Top Pull Request Labels

A-lexing (1)
TC override (1)