Ecosyste.ms: Issues

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

GitHub / quaeler issue stats

Total issues: 15
Total pull requests: 6
Merged pull request: 0
Average time to close issues: 6 months
Average time to close pull requests: 9 months
Average comments per issue: 4.07
Average comments per pull request: 2.83

Issues created

tlaplus/tlaplus: 8
cov-lineages/constellations: 2
cov-lineages/pangolearn: 2
tonysamperi/ts-luxon: 1
leanprover/lean3: 1
devoncarew/bazel-code: 1

Pull requests created

tlaplus/tlaplus: 6

Maintainer

Active Maintainer

Issue Author Associations

Contributor (8, 53.33%)
None (7, 46.67%)

Pull Request Author Associations

Contributor (6, 100.00%)

Top Issue Labels

bug (5)
Tools (5)
Toolbox (2)
refactoring (2)
good first issue (1)
enhancement (1)

Top Pull Request Labels

Tools (3)
refactoring (2)