Ecosyste.ms: Issues

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

GitHub / FissoreD issue stats

Total issues: 25
Total pull requests: 80
Merged pull request: 68
Average time to close issues: 6 months
Average time to close pull requests: 12 days
Average comments per issue: 0.96
Average comments per pull request: 0.7

Issues created

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

Pull requests created

Maintainer

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

Active Maintainer

Issue Author Associations

Owner (17, 68.00%)
Collaborator (6, 24.00%)
Contributor (2, 8.00%)

Pull Request Author Associations

Collaborator (54, 67.50%)
Owner (24, 30.00%)
Contributor (2, 2.50%)

Top Issue Labels

bug (5)
enhancement (2)
task (1)

Top Pull Request Labels

A-lexing (1)
TC override (1)