Ecosyste.ms: Issues

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

GitHub / pmasci issue stats

Total issues: 5
Total pull requests: 8
Merged pull request: 8
Average time to close issues: over 1 year
Average time to close pull requests: 1 day
Average comments per issue: 0.2
Average comments per pull request: 0.25

Issues created

sri-csl/pvs: 4
thehogfather/proofexplorer: 1

Pull requests created

sri-csl/pvs: 8

Maintainer

Active Maintainer

Issue Author Associations

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

Pull Request Author Associations

Contributor (8, 100.00%)