GitHub / agda / fix-whitespace issue stats
Last synced: 5 days ago
Total issues: 28
Total pull requests: 44
Average time to close issues: 5 months
Average time to close pull requests: 15 days
Total issue authors: 8
Total pull request authors: 10
Average comments per issue: 1.46
Average comments per pull request: 1.75
Merged pull requests: 36
Bot issues: 0
Bot pull requests: 5
Past year issues: 3
Past year pull requests: 7
Past year average time to close issues: 5 months
Past year average time to close pull requests: 13 days
Past year issue authors: 2
Past year pull request authors: 3
Past year average comments per issue: 1.67
Past year average comments per pull request: 2.43
Past year merged pull requests: 6
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Ffix-whitespace
Issue Author Associations
- Member (23, 82.14%)
- None (4, 14.29%)
- Contributor (1, 3.57%)
Pull Request Author Associations
- Member (31, 70.45%)
- Contributor (12, 27.27%)
- None (1, 2.27%)
Top Issue Authors
- andreasabel (16)
- asr (5)
- phadej (2)
- philderbeast (1)
- mouse07410 (1)
- bionade24 (1)
- gallais (1)
- L-TChen (1)
Top Pull Request Authors
- andreasabel (22)
- asr (7)
- dependabot[bot] 🤖 (5)
- ulysses4ever (2)
- L-TChen (2)
- EdNutting (2)
- phadej (1)
- aitorres (1)
- rwe (1)
- mpickering (1)
All Maintainers
- andreasabel (38)
- asr (12)
- L-TChen (3)
- gallais (1)
Active Maintainers
- andreasabel (5)
Top Issue Labels
- enhancement (6)
- bug (3)
- UX (2)
- error reporting (2)
- testsuite (1)
- PR welcome (1)
- upstream (1)
- good first issue (1)
- ghc-9.2 (1)
- discussion (1)
- performance (1)
Top Pull Request Labels
- CI (16)
- dependencies (7)
- enhancement (3)
- UX (1)
- ghc-9.4 (1)
- testsuite (1)