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: 10
Total pull requests: 134
Merged pull request: 124
Average time to close issues: about 2 months
Average time to close pull requests: 1 day
Average comments per issue: 1.5
Average comments per pull request: 0.22
Issues created
- p-org/P: 7
- sri-csl/sally: 1
- wilcoxjay/mypyvy: 1
- SRI-CSL/yices2: 1
Pull requests created
- p-org/P: 132
- p-org/peasy-ide-vscode: 2
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (8, 80.00%)
- None (2, 20.00%)
Pull Request Author Associations
- Contributor (134, 100.00%)
Top Issue Labels
- BUG: P Compiler (2)
- Feature Request (2)
- enhancement (1)