Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / seahorn / verifytrusty issue stats
Last synced: 4 days ago
Total issues: 2
Total pull requests: 19
Average time to close issues: N/A
Average time to close pull requests: 4 days
Total issue authors: 1
Total pull request authors: 4
Average comments per issue: 0.5
Average comments per pull request: 0.63
Merged pull requests: 14
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/seahorn%2Fverifytrusty
Issue Author Associations
- Collaborator (2, 100.00%)
Pull Request Author Associations
- Collaborator (18, 94.74%)
- None (1, 5.26%)
Top Issue Authors
- priyasiddharth (2)
Top Pull Request Authors
- LinerSu (10)
- priyasiddharth (5)
- danblitzhou (3)
- YuyanBao (1)
All Maintainers
- LinerSu (10)
- priyasiddharth (7)
- danblitzhou (3)