Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / agda issue stats
Total issues: 65
Total pull requests: 49
Merged pull request: 40
Average time to close issues: 3 months
Average time to close pull requests: 13 days
Average comments per issue: 1.22
Average comments per pull request: 1.41
Issues created
- agda/agda-pkg: 39
- agda/fix-whitespace: 26
Pull requests created
- agda/fix-whitespace: 39
- agda/agda-pkg: 10
Issue owner Associations
- Member (36, 55.38%)
- Collaborator (16, 24.62%)
- None (10, 15.38%)
- Contributor (3, 4.62%)
Pull Request owner Associations
- Member (30, 61.22%)
- Contributor (18, 36.73%)
- Collaborator (1, 2.04%)
All Maintainers
- andreasabel (35)
- apkgbot (17)
- jonaprieto (15)
- asr (12)
- L-TChen (3)
- gallais (1)
Active Maintainers
- andreasabel (5)
Top Issue Authors
- andreasabel (16)
- apkgbot (16)
- jonaprieto (13)
- asr (5)
- alexarice (2)
- bbarker (2)
- wenkokke (2)
- Ailrun (1)
- bionade24 (1)
- cspollard (1)
- gallais (1)
- L-TChen (1)
- michel1948 (1)
- mouse07410 (1)
- philderbeast (1)
Top Pull Request Authors
- andreasabel (19)
- asr (7)
- dependabot[bot] 🤖 (7)
- bbarker (2)
- EdNutting (2)
- jonaprieto (2)
- L-TChen (2)
- ulysses4ever (2)
- aitorres (1)
- apkgbot (1)
- merua (1)
- rwe (1)
- soimort (1)
- wbadart (1)
Top Issue Labels
- enhancement (18)
- command-option (15)
- agda-maintenance (7)
- bug (6)
- file-management (5)
- git-management (2)
- package-index (2)
- UX (2)
- error reporting (2)
- upstream (1)
- good first issue (1)
- ghc-9.2 (1)
- discussion (1)
- PR welcome (1)
- testsuite (1)
Top Pull Request Labels
- dependencies (7)
- CI (4)
- enhancement (3)
- UX (1)
- testsuite (1)
- ghc-9.4 (1)
- git-management (1)
- command-option (1)