Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / AVassilev98 issue stats
Total issues: 2
Total pull requests: 20
Merged pull request: 15
Average time to close issues: 5 days
Average time to close pull requests: 10 days
Average comments per issue: 1.5
Average comments per pull request: 0.95
Issues created
Pull requests created
- seahorn/sea-dsa: 17
- seahorn/clam: 1
- daniel5151/ts7200: 1
- l1mey112/me.l-m.dev: 1
Maintainer
- seahorn/sea-dsa: 17
Active Maintainer
Issue Author Associations
- Contributor (1, 50.00%)
- None (1, 50.00%)
Pull Request Author Associations
- Collaborator (17, 85.00%)
- None (2, 10.00%)
- Contributor (1, 5.00%)