GitHub / rocq-community / paramcoq issue stats
Last synced: about 2 months ago
Total issues: 19
Total pull requests: 83
Average time to close issues: 3 months
Average time to close pull requests: 27 days
Total issue authors: 10
Total pull request authors: 17
Average comments per issue: 3.68
Average comments per pull request: 1.0
Merged pull requests: 77
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 2
Past year average time to close issues: N/A
Past year average time to close pull requests: 3 months
Past year issue authors: 0
Past year pull request authors: 2
Past year average comments per issue: 0
Past year average comments per pull request: 0.0
Past year merged pull requests: 2
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fparamcoq
Issue Author Associations
- None (8, 42.11%)
- Contributor (7, 36.84%)
- Member (4, 21.05%)
Pull Request Author Associations
- Contributor (65, 78.31%)
- Member (10, 12.05%)
- Collaborator (8, 9.64%)
Top Issue Authors
- MSoegtropIMC (4)
- palmskog (3)
- ejgallego (2)
- aa755 (2)
- ichistmeinname (2)
- pi8027 (2)
- ybertot (1)
- herbelin (1)
- Casteran (1)
- SnarkBoojum (1)
Top Pull Request Authors
- ejgallego (19)
- SkySkimmer (17)
- ppedrot (10)
- proux01 (7)
- herbelin (6)
- palmskog (5)
- maximedenes (4)
- gares (3)
- Zimmi48 (3)
- erikmd (2)
- olaure01 (1)
- mrhaandi (1)
- LeoAlexElouan (1)
- aa755 (1)
- vbgl (1)
Active Maintainers
Top Issue Labels
- enhancement (1)