GitHub / agda / agda-language-server issue stats
Last synced: about 1 month ago
Total issues: 17
Total pull requests: 19
Average time to close issues: 6 months
Average time to close pull requests: 4 months
Total issue authors: 13
Total pull request authors: 8
Average comments per issue: 1.76
Average comments per pull request: 0.53
Merged pull requests: 18
Bot issues: 0
Bot pull requests: 0
Past year issues: 3
Past year pull requests: 3
Past year average time to close issues: N/A
Past year average time to close pull requests: about 14 hours
Past year issue authors: 3
Past year pull request authors: 2
Past year average comments per issue: 1.0
Past year average comments per pull request: 0.0
Past year merged pull requests: 2
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server
Issue Author Associations
- None (11, 64.71%)
- Member (4, 23.53%)
- Contributor (1, 5.88%)
Pull Request Author Associations
- Member (11, 57.89%)
- Contributor (4, 21.05%)
- None (1, 5.26%)
Top Issue Authors
- banacorn (3)
- omentic (2)
- stephen-smith (1)
- fredrik-bakke (1)
- cspollard (1)
- michaelpj (1)
- 4e554c4c (1)
- foxyseta (1)
- wldhx (1)
- haohanyang (1)
- DieracDelta (1)
- L-TChen (1)
- phijor (1)
Top Pull Request Authors
- andreasabel (8)
- banacorn (2)
- wldhx (1)
- FranklinChen (1)
- mio-19 (1)
- L-TChen (1)
- mildsunrise (1)
- andy0130tw (1)
All Maintainers
- andreasabel (8)
- banacorn (5)
- L-TChen (2)
Active Maintainers
- banacorn (2)
Top Issue Labels
- bug (4)
- prebulit (1)
- enhancement (1)
Top Pull Request Labels
- CI (1)