Ecosyste.ms: Issues

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

GitHub / quicquid issue stats

Total issues: 20
Total pull requests: 23
Merged pull request: 19
Average time to close issues: 16 days
Average time to close pull requests: 6 days
Average comments per issue: 3.25
Average comments per pull request: 1.57

Issues created

gapt/gapt: 13
gbury/dolmen: 3
c-cube/calculon: 2
tlaplus/tlaplus: 1
querkmachine/bat-bot: 1

Pull requests created

c-cube/calculon: 10
gapt/gapt: 9
tlaplus/communitymodules: 2
sneeuwballen/zipperposition: 1
leoprover/Leo-III: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (19, 95.00%)
None (1, 5.00%)

Pull Request Author Associations

Contributor (20, 86.96%)
None (3, 13.04%)

Top Issue Labels

Bug :beetle: (4)
image description (1)
bug (1)
Toolbox (1)
Unicode (1)