Ecosyste.ms: Issues

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

GitHub / jozefg issue stats

Total issues: 23
Total pull requests: 64
Merged pull request: 63
Average time to close issues: 10 months
Average time to close pull requests: 9 days
Average comments per issue: 2.22
Average comments per pull request: 2.45

Issues created

Pull requests created

jonsterling/jonprl: 49
jonsterling/sml-abt: 3
logsem/iris-project: 2
david-christiansen/jonprl-mode: 2
redprl/sml-typed-abts: 2
jozefg/nbe-for-mltt: 1
jonsterling/sml-abt-parser: 1
sseefried/js-good-parts: 1
jonsterling/coq-guarded-computational-type-theory: 1
ekmett/folds: 1
jonsterling/sml-parcom-wrapper: 1

Maintainer

jonsterling/jonprl: 59
jozefg/register-alloc: 3
redprl/sml-typed-abts: 2
jozefg/nbe-for-mltt: 1
jozefg/learn-tt: 1
jonsterling/coq-guarded-computational-type-theory: 1

Active Maintainer

Issue Author Associations

Collaborator (10, 43.48%)
Contributor (9, 39.13%)
Owner (4, 17.39%)

Pull Request Author Associations

Collaborator (52, 81.25%)
Contributor (11, 17.19%)
Owner (1, 1.56%)

Top Issue Labels

bug (5)
enhancement (2)
question (2)
refiner (1)

Top Pull Request Labels

documentation (1)