GitHub / ivoysey issue stats
Total issues: 240
Total pull requests: 51
Merged pull request: 46
Average time to close issues: about 2 months
Average time to close pull requests: 14 days
Average comments per issue: 1.19
Average comments per pull request: 0.61
Issues created
- mcoblenz/Obsidian: 49
- hazelgrove/hazelnut-popl17: 40
- hazelgrove/agda-popl17: 34
- hazelgrove/hazelnut-dynamics-agda: 32
- hazelgrove/hazelnut-dynamics-paper: 21
- hazelgrove/hazelgrove: 14
- hazelgrove/hazelnut-livelits-agda: 10
- hazelgrove/hazelgrove.github.io: 8
- joshsunshine/mock_test_harness: 8
- hazelgrove/hz: 7
- RedPRL/cooltt: 7
- hazelgrove/hazelnut-vagrant: 2
- dlareau/sharedle: 1
- mikepurvis/ros-install-osx: 1
- hazelgrove/livelits-paper: 1
- hazelgrove/obt2017: 1
- robsimmons/abbot: 1
- ros/homebrew-deps: 1
- supermitch/Chinese-Postman: 1
- hazelgrove/editorializer: 1
Pull requests created
Maintainer
- mcoblenz/Obsidian: 90
- hazelgrove/hazelnut-popl17: 40
- hazelgrove/agda-popl17: 34
- hazelgrove/hazelnut-dynamics-agda: 32
- hazelgrove/hazelnut-dynamics-paper: 21
- hazelgrove/hazelgrove: 14
- hazelgrove/hazelnut-livelits-agda: 11
- joshsunshine/mock_test_harness: 8
- hazelgrove/hazelgrove.github.io: 8
- hazelgrove/hz: 7
- hazelgrove/hazelnut-vagrant: 2
- hazelgrove/obt2017: 1
- hazelgrove/livelits-paper: 1
- nickcollins/dependent-dicts: 1
- hazelgrove/editorializer: 1
Active Maintainer
Issue Author Associations
- Member (171, 71.25%)
- Collaborator (57, 23.75%)
- Contributor (7, 2.92%)
- None (5, 2.08%)
Pull Request Author Associations
- Collaborator (42, 82.35%)
- Contributor (6, 11.76%)
- None (2, 3.92%)
- Member (1, 1.96%)
Top Issue Labels
- camera-ready (28)
- popl-review (24)
- RD (18)
- POPL polish (18)
- bug (14)
- presubmit-loose-ends (14)
- enhancement (13)
- migrated-from-agda-repo (7)
- future-work (7)
- RB (5)
- metatheory of expansion (4)
- RC (3)
- per-RWH (3)
- citations (3)
- meta (2)