Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aman-goel issue stats
Total issues: 8
Total pull requests: 132
Merged pull request: 121
Average time to close issues: 2 months
Average time to close pull requests: 1 day
Average comments per issue: 1.5
Average comments per pull request: 0.23
Issues created
- p-org/P: 7
- SRI-CSL/yices2: 1
Pull requests created
- p-org/P: 132
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (8, 100.00%)
Pull Request Author Associations
- Contributor (132, 100.00%)
Top Issue Labels
- BUG: P Compiler (2)
- Feature Request (2)
- enhancement (1)