GitHub / kquick issue stats
Total issues: 46
Total pull requests: 238
Merged pull request: 199
Average time to close issues: about 2 months
Average time to close pull requests: about 2 months
Average comments per issue: 1.8
Average comments per pull request: 0.85
Issues created
- GaloisInc/daedalus: 6
- nasa-sw-vnv/fret: 4
- GaloisInc/yapall: 3
- jtdaugherty/brick: 2
- matterhorn-chat/mattermost-api: 2
- Mesabloo/diagnose: 2
- GaloisInc/semmc: 2
- travitch/build-bom: 2
- silentbicycle/theft: 1
- GaloisInc/jvm-verifier: 1
- Bodigrim/logict: 1
- GaloisInc/cryptol: 1
- rwe/actions-hlint-run: 1
- ranweiler/pete: 1
- GaloisInc/grappa: 1
- haskell/fgl: 1
- NorfairKing/sydtest: 1
- lmorg/murex: 1
- matterhorn-chat/mattermost-api-qc: 1
- softdevteam/mattermost-github-integration: 1
- creswick/cabal-dev: 1
- GaloisInc/lumberjack: 1
- GaloisInc/bv-sized: 1
- paul-rouse/mysql-simple: 1
- aisamanra/s-cargot: 1
- lortabac/versioning: 1
- jgm/skylighting: 1
- sphinx-doc/sphinx: 1
- cachix/cachix: 1
- SPY/haskell-wasm: 1
- cachix/install-nix-action: 1
Pull requests created
- travitch/build-bom: 60
- GaloisInc/parameterized-utils: 17
- GaloisInc/renovate: 12
- GaloisInc/semmc: 12
- travitch/haggle: 11
- GaloisInc/cryptol: 9
- Bodigrim/logict: 8
- GaloisInc/what4: 8
- travitch/itanium-abi: 6
- aisamanra/config-ini: 5
- jtdaugherty/brick: 4
- GaloisInc/what4-serialize: 4
- matterhorn-chat/mattermost-api: 4
- nomeata/tasty-expected-failure: 4
- GaloisInc/daedalus: 4
- vincenthz/cabal-db: 3
- aisamanra/s-cargot: 3
- GaloisInc/asl-translator: 3
- NixOS/nix: 3
- GaloisInc/grappa: 2
- GaloisInc/bv-sized: 2
- SPY/haskell-wasm: 2
- NixOS/hackage-db: 2
- GaloisInc/alex-tools: 2
- GaloisInc/saw-core-what4: 2
- GaloisInc/yapall: 2
- GaloisInc/dismantle: 2
- lortabac/versioning: 2
- GaloisInc/llvm-verifier: 2
- GaloisInc/llvm-pretty: 2
- GaloisInc/jvm-verifier: 2
- GaloisInc/aig: 1
- Mesabloo/diagnose: 1
- kquick/test_own: 1
- jgm/filestore: 1
- GaloisInc/hpb: 1
- pcapriotti/optparse-applicative: 1
- haskell/cabal: 1
- kquick/whom: 1
- kquick/briareus-py: 1
- GaloisInc/language-sally: 1
- kquick/test: 1
- glguy/config-value: 1
- vincenthz/hs-git: 1
- brandonhamilton/ilist: 1
- haskell/fgl: 1
- travitch/haskell-pragma.el: 1
- IagoAbal/haskell-z3: 1
- jgm/skylighting: 1
- emilaxelsson/syntactic: 1
- haskell/aeson: 1
- GaloisInc/saw-core: 1
- kquick/car_design: 1
- GaloisInc/cryptol-verifier: 1
- chessai/patience: 1
- GaloisInc/heapster-saw: 1
- silentbicycle/theft: 1
- haskell-nix/hnix: 1
- jtdaugherty/brick-skylighting: 1
- GaloisInc/test-lib: 1
- commercialhaskell/path: 1
- haskell-graphql/graphql-api: 1
- GaloisInc/macaw: 1
- GaloisInc/haskell-wasm: 1
- GaloisInc/llvm-pretty-bc-parser: 1
Maintainer
- GaloisInc/parameterized-utils: 17
- GaloisInc/semmc: 14
- GaloisInc/renovate: 12
- travitch/haggle: 11
- GaloisInc/cryptol: 10
- GaloisInc/daedalus: 10
- GaloisInc/what4: 8
- matterhorn-chat/mattermost-api: 6
- GaloisInc/yapall: 5
- GaloisInc/what4-serialize: 4
- GaloisInc/jvm-verifier: 3
- GaloisInc/grappa: 3
- GaloisInc/bv-sized: 3
- GaloisInc/asl-translator: 3
- GaloisInc/llvm-verifier: 2
Active Maintainer
Issue Author Associations
- None (17, 36.96%)
- Member (16, 34.78%)
- Contributor (10, 21.74%)
- Collaborator (3, 6.52%)
Pull Request Author Associations
- Contributor (116, 48.74%)
- Member (97, 40.76%)
- Collaborator (15, 6.30%)
- Owner (5, 2.10%)
- None (5, 2.10%)
Top Issue Labels
- bug (5)
- enhancement (2)
- documentation (1)
- deployed to `develop` (1)
- type:bug (1)
- internals:config (1)
- awaiting:response (1)
- question (1)
Top Pull Request Labels
- flakes (3)
- versioning level: patch/api unaffected (1)
- merge me (1)
- merge delay passed (1)
- ready and waiting (1)
- UX (1)