Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ankushdesai issue stats
Total issues: 31
Total pull requests: 51
Merged pull request: 50
Average time to close issues: 12 months
Average time to close pull requests: about 9 hours
Average comments per issue: 2.65
Average comments per pull request: 0.08
Issues created
- p-org/P: 15
- p-org/PSharp: 6
- rohanpadhye/JQF: 5
- microsoft/coyote: 5
Pull requests created
- p-org/P: 51
Maintainer
- p-org/P: 66
- p-org/PSharp: 6
Active Maintainer
- p-org/P: 17
Issue Author Associations
- Member (21, 67.74%)
- None (10, 32.26%)
Pull Request Author Associations
- Member (51, 100.00%)
Top Issue Labels
- P Language Enhancement (6)
- Feature Request (5)
- P Module System (Compositional Reasoning) (4)
- Question (2)
- Information (2)
- question (2)
- controlled-testing (1)
- help wanted (1)
- bug (1)
- BUG: P Runtime (1)
Top Pull Request Labels
- BUG: P Compiler (2)