GitHub / aspiwack issue stats
Total issues: 69
Total pull requests: 123
Merged pull request: 118
Average time to close issues: 4 months
Average time to close pull requests: 18 days
Average comments per issue: 2.36
Average comments per pull request: 1.26
Issues created
- aspiwack/randomizer-engine: 15
- aspiwack/haskell-benign: 12
- aspiwack/assert-plugin: 6
- tweag/linear-base: 6
- tweag/capability: 5
- alt-romes/hegg: 4
- sdiehl/galois-field: 3
- tweag/topiary: 2
- cdepillabout/stacklock2nix: 2
- livesplit/obs-livesplit-one: 2
- lilyinstarlight/nixos-cosmic: 1
- NixOS/nixops: 1
- aspiwack/combining-logics: 1
- ProofGeneral/PG: 1
- tweag/monad-bayes: 1
- marienz/nix-doom-emacs-unstraightened: 1
- tweag/hyperion: 1
- nickel-lang/nickel-mode: 1
- timbertson/opam2nix: 1
- linear-generics/linear-generics: 1
- nix-community/nixops-vbox: 1
- pop-os/cosmic-epoch: 1
Pull requests created
- aspiwack/randomizer-engine: 26
- aspiwack/haskell-benign: 22
- tweag/linear-base: 22
- aspiwack/peppermint-prover: 16
- linear-generics/linear-generics: 10
- tweag/capability: 6
- stedolan/counterexamples: 2
- mboes/choice: 2
- fimad/prometheus-haskell: 1
- chobbes/icfp-captioning: 1
- gbury/msat: 1
- marienz/nix-doom-emacs-unstraightened: 1
- nickel-lang/nickel-mode: 1
- acid-state/acid-state: 1
- ghc-proposals/ghc-proposals: 1
- tweag/hyperion: 1
- c-cube/ocaml-containers: 1
- coq/rfcs: 1
- tweag/distributed-closure: 1
- haskell-hvr/hslogger: 1
- mongodb-haskell/mongodb: 1
- ekmett/reflection: 1
- livesplit/obs-livesplit-one: 1
- timbertson/opam2nix-packages: 1
- kakkun61/ephemeral-linear-data: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (34, 49.28%)
- Member (15, 21.74%)
- None (12, 17.39%)
- Contributor (8, 11.59%)
Pull Request Author Associations
- Owner (64, 52.03%)
- Member (30, 24.39%)
- Contributor (25, 20.33%)
- None (4, 3.25%)
Top Issue Labels
- enhancement (3)
- type: feature request (3)
- good first issue (2)
- Bikeshedding (1)
- type: bug (1)
- P2 (1)
- language: ocaml (1)
- epic: language-support (1)
- bug (1)
- help wanted (1)
- type: documentation (1)
Top Pull Request Labels
- Pending committee review (1)