GitHub / JacquesCarette issue stats
Total issues: 74
Total pull requests: 34
Merged pull request: 29
Average time to close issues: 3 months
Average time to close pull requests: 21 days
Average comments per issue: 2.54
Average comments per pull request: 1.53
Issues created
- alhassy/next-700-module-systems: 32
- jacquescarette/drasil: 10
- jacquescarette/benchmarkingproofassistants: 5
- jacquescarette/theoriesanddatastructures: 5
- smiths/casestudies: 4
- agda/agda-stdlib: 3
- agda/agda-categories: 2
- plfa/plfa.github.io: 2
- vikraman/2dtypes: 2
- haskell-hvr/missingh: 1
- totbwf/cubical-categories: 1
- jespercockx/lagda-slides-template: 1
- tommd/tyb: 1
- jsiek/agda-stdlib-aux: 1
- jsiek/b522-pl-foundations: 1
- UniFormal/TGView: 1
- copumpkin/categories: 1
- smiths/aimss: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (42, 56.76%)
- Owner (20, 27.03%)
- None (7, 9.46%)
- Contributor (5, 6.76%)
Pull Request Author Associations
- Owner (21, 61.76%)
- Collaborator (9, 26.47%)
- Contributor (4, 11.76%)
Top Issue Labels
- bug (4)
- design (4)
- question (3)
- metaprogramming (2)
- low-hanging-fruit (2)
- enhancement (2)
- library-design (2)
- discussion (2)
- style-guide (2)
- stale (1)
- newcomers (1)
- breaking (1)
- instances (1)