Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / agda issue stats
Total issues: 64
Total pull requests: 48
Merged pull request: 39
Average time to close issues: 3 months
Average time to close pull requests: 14 days
Average comments per issue: 1.19
Average comments per pull request: 1.44
Issues created
- agda/agda-pkg: 39
- agda/fix-whitespace: 25
Pull requests created
- agda/fix-whitespace: 38
- agda/agda-pkg: 10
Issue owner Associations
- Member (35, 54.69%)
- Collaborator (16, 25.00%)
- None (10, 15.63%)
- Contributor (3, 4.69%)
Pull Request owner Associations
- Member (29, 60.42%)
- Contributor (18, 37.50%)
- Collaborator (1, 2.08%)
All Maintainers
- andreasabel (33)
- apkgbot (17)
- jonaprieto (15)
- asr (12)
- L-TChen (3)
- gallais (1)
Active Maintainers
- andreasabel (5)
Top Issue Authors
- apkgbot (16)
- andreasabel (15)
- 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 (18)
- 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)
- discussion (1)
- ghc-9.2 (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)