GitHub / coq-community / aac-tactics issue stats
Last synced: 3 days ago
Total issues: 2
Total pull requests: 10
Average time to close issues: 2 minutes
Average time to close pull requests: about 1 month
Total issue authors: 2
Total pull request authors: 5
Average comments per issue: 1.0
Average comments per pull request: 2.2
Merged pull requests: 8
Bot issues: 0
Bot pull requests: 0
Past year issues: 2
Past year pull requests: 10
Past year average time to close issues: 2 minutes
Past year average time to close pull requests: about 1 month
Past year issue authors: 2
Past year pull request authors: 5
Past year average comments per issue: 1.0
Past year average comments per pull request: 2.2
Past year merged pull requests: 8
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Faac-tactics
Issue Author Associations
- None (7, 350.00%)
Pull Request Author Associations
- Contributor (10, 100.00%)
- Member (6, 60.00%)
- None (4, 40.00%)
Top Issue Authors
- MSoegtropIMC (3)
- aa755 (2)
- JulesViennotFranca (1)
- rtetley (1)
Top Pull Request Authors
- palmskog (6)
- proux01 (3)
- SkySkimmer (3)
- damien-pous (2)
- ppedrot (2)
- aa755 (2)
- ejgallego (1)
- silene (1)