Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aa755 issue stats
Total issues: 32
Total pull requests: 31
Merged pull request: 19
Average time to close issues: 7 months
Average time to close pull requests: 2 months
Average comments per issue: 2.72
Average comments per pull request: 2.19
Issues created
- coq-community/corn: 5
- andersonshatch/midea-ac-lib: 3
- cpitclaudel/company-coq: 3
- bedrocksystems/coq-lens: 2
- coq-community/paramcoq: 2
- ProofGeneral/PG: 2
- xeals/signal-back: 1
- tbvdm/sigtop: 1
- mac-zhou/midea-msmart: 1
- dzsessona/QuickOpener-NetBeans: 1
- pauldreik/rdfind: 1
- coq-community/coq-ext-lib: 1
- acowley/roshask: 1
- bedrocksystems/BRiCk: 1
- Andersbakken/rtags: 1
- retorquere/zotero-better-bibtex: 1
- jasongross/proviola-source: 1
- formal-land/coq-of-python: 1
- mit-plv/bbv: 1
- coq-community/coqdocjs: 1
- Genymobile/gnirehtet: 1
Pull requests created
- coq-community/corn: 5
- bedrocksystems/coq-lens: 5
- MetaCoq/metacoq: 3
- cpitclaudel/company-coq: 3
- mac-zhou/midea-msmart: 2
- JumpCrypto/crypto-reading-list: 2
- coq/ceps: 2
- coq-community/math-classes: 2
- coq-community/coq-ext-lib: 2
- coq/opam: 1
- CertiCoq/certicoq: 1
- andersonshatch/midea-ac-lib: 1
- gmalecha/coq-interaction-trees: 1
- ocaml/platform-blog: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (17, 53.13%)
- Contributor (15, 46.88%)
Pull Request Author Associations
- Contributor (26, 83.87%)
- None (5, 16.13%)
Top Issue Labels
- invalid (1)
- bug (1)
Top Pull Request Labels
- stale (2)