Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / amahboubi issue stats
Total issues: 35
Total pull requests: 8
Merged pull request: 6
Average time to close issues: 6 months
Average time to close pull requests: 4 days
Average comments per issue: 2.29
Average comments per pull request: 0.88
Issues created
Pull requests created
- math-comp/mcb: 5
- math-comp/analysis: 2
- HoTT/Coq-HoTT: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (33, 94.29%)
- None (2, 5.71%)
Pull Request Author Associations
- Member (7, 87.50%)
- Contributor (1, 12.50%)
Top Issue Labels
- enhancement (2)
- move-project (1)
- coq-library (1)
- question :question: (1)