GitHub / mirryi issue stats
Total issues: 15
Total pull requests: 29
Merged pull request: 24
Average time to close issues: 6 days
Average time to close pull requests: about 1 month
Average comments per issue: 0.8
Average comments per pull request: 0.17
Issues created
Pull requests created
- hazelgrove/error-localization-agda: 18
- mirryi/wikichan: 2
- tdryer/hangups: 2
- mirryi/isc: 2
- hazelgrove/phi: 1
- mirryi/regexp2: 1
- mirryi/shelf: 1
- 0xAX/notificator: 1
- doy/rbw: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (7, 46.67%)
- None (6, 40.00%)
- Owner (1, 6.67%)
- Contributor (1, 6.67%)
Pull Request Author Associations
- Member (19, 65.52%)
- Owner (6, 20.69%)
- Contributor (4, 13.79%)
Top Issue Labels
- bug (1)
- jsoo (1)
- STATE: under consideration (1)
- PRIO: 2 want (1)