Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gmalecha issue stats
Total issues: 150
Total pull requests: 75
Merged pull request: 54
Average time to close issues: 4 months
Average time to close pull requests: 10 days
Average comments per issue: 1.87
Average comments per pull request: 3.61
Issues created
- gmalecha/mirror-core: 85
- bedrocksystems/coq-lens: 10
- coq-community/coq-ext-lib: 8
- gmalecha/coq-plugin-utils: 6
- MetaCoq/metacoq: 5
- coq/coq: 4
- gmalecha/hl-compiler: 4
- gmalecha/coq-extensible-records: 3
- mit-plv/bedrock2: 3
- conal/reification-rules: 3
- mit-plv/bbv: 2
- tchajed/coq-record-update: 2
- coq-community/templates: 2
- gmalecha/gmalecha.github.io: 2
- gmalecha/coq-temporal: 2
- jasongross/coq-tools: 1
- robertylewis/smtlib2polya: 1
- beta-ziliani/mtac-plugin: 1
- Mtac2/Mtac2: 1
- cpitclaudel/alectryon: 1
- ejgallego/coq-serapi: 1
- gmalecha/bedrock-mirror-shard: 1
- rocq-archive/coq-serapi: 1
- coq/stdlib2: 1
Pull requests created
- coq/opam: 17
- coq-community/coq-ext-lib: 11
- bedrocksystems/coq-lens: 6
- MetaCoq/metacoq: 5
- coq/repo-stable-disabled: 4
- coq/rfcs: 4
- coq/ceps: 4
- target/row-types: 4
- mit-plv/bbv: 4
- gmalecha/mirror-core: 3
- mit-plv/bedrock2: 2
- beta-ziliani/mtac-plugin: 1
- coq/coq.github.io: 1
- NixOS/nixos-weekly: 1
- jwiegley/category-theory: 1
- ElvishJerricco/fraxl: 1
- strake/ctrex-aeson.hs: 1
- gmalecha/coq-ltac-iter: 1
- cpitclaudel/alectryon: 1
- rouge-ruby/rouge: 1
- robertylewis/smtlib2polya: 1
- coq-community/metaprogramming-rosetta-stone: 1
Maintainer
- gmalecha/mirror-core: 88
- coq-community/coq-ext-lib: 19
- bedrocksystems/coq-lens: 16
- mit-plv/bbv: 6
- gmalecha/coq-plugin-utils: 6
- gmalecha/hl-compiler: 4
- gmalecha/coq-extensible-records: 3
- gmalecha/gmalecha.github.io: 2
- gmalecha/coq-temporal: 2
- gmalecha/bedrock-mirror-shard: 1
- gmalecha/coq-ltac-iter: 1
Active Maintainer
Issue Author Associations
- Owner (103, 68.67%)
- Collaborator (20, 13.33%)
- Contributor (14, 9.33%)
- None (13, 8.67%)
Pull Request Author Associations
- Contributor (34, 45.33%)
- Collaborator (21, 28.00%)
- None (16, 21.33%)
- Owner (4, 5.33%)
Top Issue Labels
- enhancement (42)
- bug (20)
- question (13)
- refactor (10)
- performance (8)
- Stale (7)
- documentation (5)
- wontfix (4)
- kind: bug (2)
- kind: wish (2)
- status: implemented (1)
- status: pending (1)
- needs: triage (1)
- part: compiler (1)
- big task (1)
Top Pull Request Labels
- enhancement (3)
- help wanted (1)
- question (1)