GitHub / kquick issue stats
Total issues: 49
Total pull requests: 308
Merged pull request: 242
Average time to close issues: 4 months
Average time to close pull requests: 2 months
Average comments per issue: 1.51
Average comments per pull request: 0.75
Issues created
- GaloisInc/daedalus: 6
- nasa-sw-vnv/fret: 3
- GaloisInc/yapall: 3
- jtdaugherty/brick: 2
- GaloisInc/semmc: 2
- Mesabloo/diagnose: 2
- matterhorn-chat/mattermost-api: 2
- travitch/build-bom: 2
- kind2-mc/kind2: 2
- aisamanra/s-cargot: 1
- GaloisInc/lumberjack: 1
- GaloisInc/macaw: 1
- matterhorn-chat/mattermost-api-qc: 1
- lmorg/murex: 1
- GaloisInc/grappa: 1
- ranweiler/pete: 1
- GaloisInc/cryptol: 1
- Bodigrim/logict: 1
- GaloisInc/bv-sized: 1
- softdevteam/mattermost-github-integration: 1
- matterhorn-chat/matterhorn: 1
- SPY/haskell-wasm: 1
- cachix/install-nix-action: 1
- SWI-Prolog/swipl-devel: 1
- lortabac/versioning: 1
- jgm/skylighting: 1
- paul-rouse/mysql-simple: 1
- silentbicycle/theft: 1
- GaloisInc/jvm-verifier: 1
- rwe/actions-hlint-run: 1
- NorfairKing/sydtest: 1
- creswick/cabal-dev: 1
- sphinx-doc/sphinx: 1
- haskell/fgl: 1
Pull requests created
- travitch/build-bom: 90
- GaloisInc/parameterized-utils: 17
- travitch/haggle: 16
- GaloisInc/cryptol: 14
- GaloisInc/semmc: 12
- GaloisInc/renovate: 12
- GaloisInc/daedalus: 8
- Bodigrim/logict: 8
- GaloisInc/what4: 8
- travitch/itanium-abi: 6
- jtdaugherty/brick: 6
- GaloisInc/llvm-pretty-bc-parser: 5
- aisamanra/config-ini: 5
- GaloisInc/what4-serialize: 4
- nomeata/tasty-expected-failure: 4
- matterhorn-chat/mattermost-api: 4
- GaloisInc/asl-translator: 3
- aisamanra/s-cargot: 3
- GaloisInc/alex-tools: 3
- GaloisInc/saw-script: 3
- NixOS/nix: 3
- vincenthz/cabal-db: 3
- GaloisInc/llvm-pretty: 3
- GaloisInc/crucible: 3
- GaloisInc/saw-core-what4: 2
- matterhorn-chat/matterhorn: 2
- GaloisInc/jvm-verifier: 2
- GaloisInc/yapall: 2
- kquick/car_design: 2
- jtdaugherty/brick-skylighting: 2
- lortabac/versioning: 2
- GaloisInc/llvm-verifier: 2
- haskell/cabal: 2
- NixOS/hackage-db: 2
- GaloisInc/grappa: 2
- GaloisInc/macaw: 2
- SPY/haskell-wasm: 2
- GaloisInc/dismantle: 2
- jgm/skylighting: 2
- GaloisInc/bv-sized: 2
- Mesabloo/diagnose: 2
- qfpl/tasty-hedgehog: 1
- glguy/config-value: 1
- haskell/aeson: 1
- gsdlab/clafer: 1
- GaloisInc/test-lib: 1
- haskell-graphql/graphql-api: 1
- GaloisInc/haskell-wasm: 1
- kquick/test: 1
- brandonhamilton/ilist: 1
- travitch/haskell-pragma.el: 1
- pcapriotti/optparse-applicative: 1
- GaloisInc/aig: 1
- angel-gallegos-1/Ada_Test_Trace_Framework: 1
- GaloisInc/cryptol-verifier: 1
- chessai/patience: 1
- haskell-nix/hnix: 1
- kquick/briareus-py: 1
- angel-gallegos-1/Car_Test: 1
- vincenthz/hs-git: 1
- IagoAbal/haskell-z3: 1
- haskell/fgl: 1
- GaloisInc/language-sally: 1
- kquick/whom: 1
- GaloisInc/hpb: 1
- jgm/filestore: 1
- kquick/test_own: 1
- commercialhaskell/path: 1
- silentbicycle/theft: 1
- GaloisInc/heapster-saw: 1
- GaloisInc/saw-core: 1
- emilaxelsson/syntactic: 1
Maintainer
- GaloisInc/parameterized-utils: 17
- travitch/haggle: 16
- GaloisInc/cryptol: 15
- GaloisInc/daedalus: 14
- GaloisInc/semmc: 14
- GaloisInc/renovate: 12
- GaloisInc/what4: 8
- matterhorn-chat/mattermost-api: 6
- GaloisInc/yapall: 5
- GaloisInc/llvm-pretty-bc-parser: 5
- GaloisInc/what4-serialize: 4
- GaloisInc/grappa: 3
- GaloisInc/crucible: 3
- GaloisInc/jvm-verifier: 3
- GaloisInc/bv-sized: 3
Active Maintainer
Issue Author Associations
- None (18, 36.73%)
- Member (17, 34.69%)
- Contributor (10, 20.41%)
- Collaborator (4, 8.16%)
Pull Request Author Associations
- Contributor (149, 48.38%)
- Member (119, 38.64%)
- Collaborator (22, 7.14%)
- None (12, 3.90%)
- Owner (6, 1.95%)
Top Issue Labels
- bug (5)
- enhancement (3)
- documentation (1)
- deployed to `develop` (1)
- type:bug (1)
- internals:config (1)
- awaiting:response (1)
Top Pull Request Labels
- flakes (3)
- merge me (2)
- merge delay passed (2)
- ready and waiting (2)
- versioning level: patch/api unaffected (1)
- UX (1)