Ecosyste.ms: Issues

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

GitHub / gauravpartha issue stats

Total issues: 11
Total pull requests: 29
Merged pull request: 27
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.27
Average comments per pull request: 0.14

Issues created

viperproject/carbon: 5
viperproject/bitbucket-issue-migration: 3
viperproject/silver: 2
dafny-lang/dafny: 1

Pull requests created

viperproject/carbon: 19
viperproject/viper-roots: 4
viperproject/boogie-builder: 2
viperproject/tutorial: 2
viperproject/silver: 1
viperproject/voila: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (7, 63.64%)
None (4, 36.36%)

Pull Request Author Associations

Contributor (29, 100.00%)

Top Issue Labels

check at the end (3)
enhancement (1)
kind: enhancement (1)
status: needs-decision (1)