GitHub / agda / cubical issue stats
Last synced: 12 days ago
Total issues: 21
Total pull requests: 101
Average time to close issues: 3 months
Average time to close pull requests: about 1 month
Total issue authors: 10
Total pull request authors: 32
Average comments per issue: 1.29
Average comments per pull request: 1.88
Merged pull requests: 60
Bot issues: 0
Bot pull requests: 0
Past year issues: 15
Past year pull requests: 72
Past year average time to close issues: about 1 month
Past year average time to close pull requests: about 1 month
Past year issue authors: 7
Past year pull request authors: 26
Past year average comments per issue: 1.13
Past year average comments per pull request: 1.78
Past year merged pull requests: 38
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fcubical
Issue Author Associations
- Contributor (14, 66.67%)
- Collaborator (4, 19.05%)
- None (2, 9.52%)
- Member (1, 4.76%)
Pull Request Author Associations
- Contributor (73, 72.28%)
- Collaborator (19, 18.81%)
- Member (5, 4.95%)
- None (4, 3.96%)
Top Issue Authors
- anshwad10 (9)
- felixwellen (4)
- stschaef (1)
- onestruggler (1)
- pthariensflame (1)
- mzeuner (1)
- Trebor-Huang (1)
- FernandoChu (1)
- MatthiasHu (1)
- plt-amy (1)
Top Pull Request Authors
- anshwad10 (22)
- felixwellen (12)
- aljungstrom (9)
- anuyts (6)
- marcinjangrzybowski (5)
- mzeuner (5)
- Freek98 (4)
- awswan (4)
- ecavallo (3)
- FranziskusWiesnet (2)
- mortberg (2)
- maxsnew (2)
- stschaef (2)
- andreasabel (2)
- mzhang28 (2)
All Maintainers
- felixwellen (16)
- ecavallo (3)
- andreasabel (2)
- maxsnew (2)
- mortberg (2)
- ncfavier (1)
- szumixie (1)
- UlfNorell (1)
- plt-amy (1)
Active Maintainers
- felixwellen (6)
- maxsnew (2)
- andreasabel (1)
- plt-amy (1)
- szumixie (1)
- UlfNorell (1)
Top Issue Labels
- discuss (3)
- new content (1)
- refactor (1)
Top Pull Request Labels
- agda (3)