Ecosyste.ms: Issues

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

GitHub / EdAyers issue stats

Total issues: 18
Total pull requests: 15
Merged pull request: 13
Average time to close issues: about 2 months
Average time to close pull requests: 3 days
Average comments per issue: 1.61
Average comments per pull request: 0.8

Issues created

morph-labs/rift: 9
pytest-dev/pytest-asyncio: 1
leanprover/elan: 1
aio-libs/aiodocker: 1
nomic-ai/nomic: 1
leanprover-community/highlightjs-lean: 1
micromark/micromark-extension-directive: 1
Helicone/helicone: 1
astral-sh/uv: 1
leanprover/lean3: 1

Pull requests created

BartoszPiotrowski/lean-premise-selection: 5
leanprover/lean-client-js: 5
leanprover-community/doc-gen: 2
EleutherAI/math-lm: 1
morph-labs/rift: 1
leanprover/lean4: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (9, 50.00%)
None (8, 44.44%)
Member (1, 5.56%)

Pull Request Author Associations

Contributor (7, 46.67%)
Collaborator (5, 33.33%)
Member (2, 13.33%)
None (1, 6.67%)

Top Issue Labels

enhancement (5)
bug (3)
🦋 type/enhancement (1)
🗄 area/interface (1)
🧒 semver/minor (1)
💪 phase/solved (1)
needs-decision (1)

Top Pull Request Labels

awaiting-author (1)