Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andres-erbsen issue stats
Total issues: 71
Total pull requests: 104
Merged pull request: 79
Average time to close issues: 4 months
Average time to close pull requests: 12 days
Average comments per issue: 3.15
Average comments per pull request: 1.31
Issues created
- YahooArchive/coname: 19
- andres-erbsen/chatterbox: 16
- mit-plv/fiat-crypto: 7
- coq/coq: 5
- whonore/Coqtail: 4
- andres-erbsen/dename: 3
- daniel-ziegler/merklemap: 3
- coq/stdlib2: 3
- beancount/fava: 2
- mit-plv/rupicola: 2
- leanprover/lean3: 2
- HACS-workshop/hacspec: 1
- TinoGehlert/md_plot: 1
- andlabs/ui: 1
- miguelmota/streamhut: 1
- excamera/alfalfa: 1
Pull requests created
- mit-plv/fiat-crypto: 39
- mit-plv/rupicola: 23
- coq/coq: 9
- YahooArchive/coname: 8
- andres-erbsen/dename: 4
- mit-pdos/perennial: 4
- mit-plv/kami: 3
- coq/ceps: 3
- coq-community/bignums: 2
- jwiegley/category-theory: 1
- agl/ed25519: 1
- coq-community/math-classes: 1
- whonore/Coqtail: 1
- mattam82/Coq-Equations: 1
- andres-erbsen/chatterbox: 1
- coq-community/corn: 1
- PrincetonUniversity/VST: 1
- HACS-workshop/hacspec: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (38, 53.52%)
- Owner (19, 26.76%)
- None (11, 15.49%)
- Collaborator (3, 4.23%)
Pull Request Author Associations
- Contributor (90, 86.54%)
- None (9, 8.65%)
- Owner (5, 4.81%)
Top Issue Labels
- bug (7)
- enhancement (5)
- kind: performance (1)
- part: modules (1)
- part: typeclasses (1)
- part: tactics (1)
- kind: bug (1)
- needs: triage (1)
- food for thought (1)
- part: build (1)
- kind: wish (1)
Top Pull Request Labels
- part: standard library (4)
- needs: full CI (3)
- kind: infrastructure (3)
- needs: rebase (2)
- stale (2)
- kind: enhancement (2)
- kind: fix (2)
- kind: user messages (1)
- kind: cleanup (1)
- awaiting-continuous-integration-check (1)
- part: CI (1)