Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jcreedcmu issue stats
Total issues: 575
Total pull requests: 18
Merged pull request: 13
Average time to close issues: 5 days
Average time to close pull requests: 2 months
Average comments per issue: 0.19
Average comments per pull request: 1.89
Issues created
- jcreedcmu/wordlike: 195
- jcreedcmu/pyoro: 149
- jcreedcmu/upsilon-draft: 88
- jcreedcmu/paperwork-game: 77
- jcreedcmu/twelf-mac: 26
- jcreedcmu/sections: 14
- jcreedcmu/rust-synth: 9
- jcreedcmu/nix-config: 5
- jcreedcmu/midilog: 4
- jcreedcmu/jcreedcmu.github.io: 3
- magit/magit: 2
- jcreedcmu/twelf-wasm: 2
- rust-lang/rust-bindgen: 1
Pull requests created
Maintainer
- jcreedcmu/wordlike: 195
- jcreedcmu/pyoro: 149
- jcreedcmu/upsilon-draft: 88
- jcreedcmu/paperwork-game: 77
- jcreedcmu/twelf-mac: 34
- jcreedcmu/sections: 14
- jcreedcmu/rust-synth: 9
- jcreedcmu/nix-config: 5
- jcreedcmu/twelf-wasm: 4
- jcreedcmu/midilog: 4
- jcreedcmu/jcreedcmu.github.io: 3
- dwrensha/animate-lean-proofs: 1
Active Maintainer
Issue Author Associations
- Owner (572, 99.48%)
- None (2, 0.35%)
- Contributor (1, 0.17%)
Pull Request Author Associations
- Owner (10, 55.56%)
- Contributor (5, 27.78%)
- None (2, 11.11%)
- Collaborator (1, 5.56%)
Top Issue Labels
- bug (92)
- ui (88)
- mechanic (27)
- refactor (25)
- bonus (21)
- editor (10)
- native (8)
- documentation (3)
- cleanup (2)
- idea (1)
Top Pull Request Labels
- ClosedPR (1)