Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / agda / fix-whitespace issue stats
Last synced: 15 days ago
Total issues: 26
Total pull requests: 39
Average time to close issues: 5 months
Average time to close pull requests: 15 days
Total issue authors: 7
Total pull request authors: 8
Average comments per issue: 1.42
Average comments per pull request: 1.54
Merged pull requests: 31
Bot issues: 0
Bot pull requests: 5
Past year issues: 3
Past year pull requests: 5
Past year average time to close issues: 3 months
Past year average time to close pull requests: 1 day
Past year issue authors: 2
Past year pull request authors: 2
Past year average comments per issue: 1.33
Past year average comments per pull request: 0.0
Past year merged pull requests: 4
Past year bot issues: 0
Past year bot pull requests: 1
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Ffix-whitespace
Issue Author Associations
- Member (23, 88.46%)
- None (3, 11.54%)
Pull Request Author Associations
- Member (28, 71.79%)
- Contributor (11, 28.21%)
Top Issue Authors
- andreasabel (16)
- asr (5)
- bionade24 (1)
- gallais (1)
- L-TChen (1)
- mouse07410 (1)
- philderbeast (1)
Top Pull Request Authors
- andreasabel (19)
- asr (7)
- dependabot[bot] 🤖 (5)
- ulysses4ever (2)
- L-TChen (2)
- EdNutting (2)
- aitorres (1)
- rwe (1)
All Maintainers
- andreasabel (35)
- asr (12)
- L-TChen (3)
- gallais (1)
Active Maintainers
- andreasabel (6)
Top Issue Labels
- enhancement (6)
- bug (3)
- error reporting (2)
- UX (2)
- performance (1)
- testsuite (1)
- PR welcome (1)
- upstream (1)
- good first issue (1)
- ghc-9.2 (1)
- discussion (1)
Top Pull Request Labels
- dependencies (5)
- CI (4)
- enhancement (3)
- UX (1)
- testsuite (1)
- ghc-9.4 (1)