Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / david-christiansen issue stats
Total issues: 36
Total pull requests: 71
Merged pull request: 67
Average time to close issues: 5 months
Average time to close pull requests: 25 days
Average comments per issue: 3.5
Average comments per pull request: 1.92
Issues created
- GaloisInc/argo: 8
- the-little-typer/pie: 4
- GaloisInc/saw-training: 3
- jgm/commonmark-hs: 3
- haskell/security-advisories: 2
- haskell/haskell-language-server: 2
- GaloisInc/daedalus: 2
- jeapostrophe/slideshow-latex: 1
- GaloisInc/llvm-pretty-bc-parser: 1
- brandonchinn178/toml-reader: 1
- ekmett/trifecta: 1
- carlohamalainen/ghc-imported-from: 1
- david-christiansen/annotated-wl-pprint: 1
- racket/macro-debugger: 1
- pnwamk/define-with-spec: 1
- racket/redex: 1
- david-christiansen/prop-menu-el: 1
- haskell/cabal: 1
- haskell/ghcup-hs: 1
Pull requests created
- haskell/error-messages: 21
- GaloisInc/argo: 12
- haskell/security-advisories: 10
- the-little-typer/pie: 5
- david-christiansen/annotated-wl-pprint: 3
- commercialhaskell/pantry: 2
- haskell/hackage-security: 2
- haskell/cabal: 2
- david-christiansen/prop-menu-el: 1
- jgm/commonmark-hs: 1
- GaloisInc/saw-training: 1
- haskell/haskell-mode: 1
- racket/string-constants: 1
- GaloisInc/saw-core: 1
- GaloisInc/cryptol-verifier: 1
- GaloisInc/jvm-verifier: 1
- GaloisInc/mir-verifier: 1
- GaloisInc/crucible: 1
- daviddrysdale/mdbook-indexing: 1
- ekmett/trifecta: 1
- GaloisInc/daedalus: 1
- lexi-lambda/hackett: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (20, 55.56%)
- None (10, 27.78%)
- Member (4, 11.11%)
- Owner (2, 5.56%)
Pull Request Author Associations
- Contributor (41, 57.75%)
- Collaborator (21, 29.58%)
- Member (5, 7.04%)
- Owner (4, 5.63%)
Top Issue Labels
- type: enhancement (2)
- Low-Hanging Fruit (2)
- SAW (2)
- type: improvement (1)
- command: tui (1)
- level: hard (1)
- compiler/clang++ (1)
- ZuriHac (1)
- GHC (1)
- level: easy (1)
- GSoC project candidate (1)
- re: error-message (1)
- attention: pr-welcome (1)
- type: discussion (1)
- TODO (1)
Top Pull Request Labels
- merge me (2)
- merge delay passed (2)
- attention: needs-review (1)