Ecosyste.ms: Issues

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

GitHub / briangmilnes issue stats

Total issues: 37
Total pull requests: 10
Merged pull request: 2
Average time to close issues: 15 days
Average time to close pull requests: 16 days
Average comments per issue: 1.3
Average comments per pull request: 3.4

Issues created

FStarLang/FStar: 35
AnnotationSro/ng6-file-man: 1
fstarlang/pulse: 1

Pull requests created

FStarLang/FStar: 10

Maintainer

Active Maintainer

Issue Author Associations

Contributor (35, 94.59%)
None (2, 5.41%)

Pull Request Author Associations

Contributor (10, 100.00%)