Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wenkokke / setup-agda issue stats
Last synced: about 1 year ago
Total issues: 48
Total pull requests: 61
Average time to close issues: 22 days
Average time to close pull requests: about 19 hours
Total issue authors: 3
Total pull request authors: 3
Average comments per issue: 1.63
Average comments per pull request: 0.2
Merged pull requests: 50
Bot issues: 0
Bot pull requests: 26
Past year issues: 48
Past year pull requests: 61
Past year average time to close issues: 22 days
Past year average time to close pull requests: about 19 hours
Past year issue authors: 3
Past year pull request authors: 3
Past year average comments per issue: 1.63
Past year average comments per pull request: 0.2
Past year merged pull requests: 50
Past year bot issues: 0
Past year bot pull requests: 26
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/wenkokke%2Fsetup-agda
Issue Author Associations
- Owner (45, 93.75%)
- None (3, 6.25%)
Pull Request Author Associations
- Owner (35, 57.38%)
- Contributor (26, 42.62%)
Top Issue Authors
- wenkokke (45)
- andreasabel (2)
- L-TChen (1)
Top Pull Request Authors
- wenkokke (35)
- dependabot[bot] 🤖 (21)
- pre-commit-ci[bot] 🤖 (5)
All Maintainers
- wenkokke (80)
Active Maintainers
Top Issue Labels
- enhancement (12)
- agdaup (9)
- bug (7)
- github_actions (3)
- simplify (3)
- question (2)
- build:stack (2)
- help wanted (1)
- good first issue (1)
- build (1)
- dependencies (1)
- license (1)
Top Pull Request Labels
- dependencies (22)
- javascript (21)
- github_actions (1)