GitHub / jcreedcmu issue stats
Total issues: 470
Total pull requests: 19
Merged pull request: 14
Average time to close issues: 5 days
Average time to close pull requests: about 2 months
Average comments per issue: 0.19
Average comments per pull request: 2.21
Issues created
- jcreedcmu/wordlike: 195
- jcreedcmu/upsilon-draft: 87
- jcreedcmu/pyoro: 79
- jcreedcmu/paperwork-game: 46
- jcreedcmu/twelf-mac: 19
- jcreedcmu/sections: 11
- jcreedcmu/rust-synth: 9
- jcreedcmu/rupert: 5
- jcreedcmu/nix-config: 5
- jcreedcmu/midilog: 4
- jcreedcmu/jcreedcmu.github.io: 3
- jcreedcmu/svg-perf-test: 3
- jcreedcmu/twelf-wasm: 2
- rust-lang/rust-bindgen: 1
- magit/magit: 1
Pull requests created
Maintainer
- jcreedcmu/wordlike: 195
- jcreedcmu/upsilon-draft: 87
- jcreedcmu/pyoro: 79
- jcreedcmu/paperwork-game: 46
- jcreedcmu/twelf-mac: 24
- jcreedcmu/sections: 11
- jcreedcmu/rust-synth: 9
- jcreedcmu/rupert: 5
- jcreedcmu/nix-config: 5
- jcreedcmu/twelf-wasm: 4
- jcreedcmu/midilog: 4
- jcreedcmu/jcreedcmu.github.io: 3
- jcreedcmu/svg-perf-test: 3
- dwrensha/animate-lean-proofs: 1
Active Maintainer
Issue Author Associations
- Owner (468, 99.57%)
- None (1, 0.21%)
- Contributor (1, 0.21%)
Pull Request Author Associations
- Contributor (9, 47.37%)
- Owner (7, 36.84%)
- None (2, 10.53%)
- Collaborator (1, 5.26%)
Top Issue Labels
- ui (76)
- bug (75)
- bonus (21)
- refactor (18)
- mechanic (15)
- native (8)
- editor (5)
- documentation (3)
- idea (1)
- cleanup (1)
Top Pull Request Labels
- ClosedPR (1)