Ecosyste.ms: Issues

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

GitHub / rahulku issue stats

Total issues: 2
Total pull requests: 8
Merged pull request: 2
Average time to close issues: 6 minutes
Average time to close pull requests: 5 days
Average comments per issue: 0.5
Average comments per pull request: 1.75

Issues created

model-checking/kani: 1
Open-MBEE/K: 1

Pull requests created

machine-learning-apps/Issue-Label-Bot: 5
model-checking/kani: 2
model-checking/kani-github-action: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (1, 50.00%)
None (1, 50.00%)

Pull Request Author Associations

None (5, 62.50%)
Contributor (3, 37.50%)