Ecosyste.ms: Issues

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

GitHub / rlepigre issue stats

Total issues: 15
Total pull requests: 25
Merged pull request: 15
Average time to close issues: 2 months
Average time to close pull requests: about 1 month
Average comments per issue: 4.2
Average comments per pull request: 10.64

Active Maintainer

Issue Author Associations

Contributor (9, 60.00%)
Collaborator (4, 26.67%)
None (2, 13.33%)

Pull Request Author Associations

Contributor (20, 80.00%)
None (3, 12.00%)
Collaborator (2, 8.00%)

Top Issue Labels

bug (5)
coq (3)
docs (1)
part: modules (1)
kind: bug (1)
part: ltac2 (1)
proposal (1)
missions (1)
GameShell (1)

Top Pull Request Labels

needs: full CI (4)
kind: upstream (3)
bug (1)
needs: discussion (1)
needs: rebase (1)
stale (1)
needs: documentation (1)