Ecosyste.ms: Issues

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

GitHub / crvdgc issue stats

Total issues: 5
Total pull requests: 14
Merged pull request: 9
Average time to close issues: about 1 month
Average time to close pull requests: 3 months
Average comments per issue: 1.8
Average comments per pull request: 0.64

Issues created

leanprover/fp-lean: 2
imandra-ai/ocaml-opentelemetry: 2
imandra-ai/imandra-ptime: 1

Pull requests created

tree-sitter/tree-sitter: 3
xc-jp/casper: 2
imandra-ai/itr-ast: 2
xc-jp/solid: 2
imandra-ai/imandra-ptime: 1
ndmitchell/ghcid: 1
dbuenzli/xmlm: 1
tsudoko/anki-sync-server: 1
leanprover-community/highlightjs-lean: 1

Maintainer

Active Maintainer

Issue Author Associations

None (4, 80.00%)
Contributor (1, 20.00%)

Pull Request Author Associations

Contributor (10, 71.43%)
None (4, 28.57%)

Top Issue Labels

Typo (1)
Inaccuracies (1)
bug (1)