Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / kquick issue stats
Total issues: 27
Total pull requests: 137
Merged pull request: 117
Average time to close issues: 11 days
Average time to close pull requests: 2 months
Average comments per issue: 2.11
Average comments per pull request: 1.05
Issues created
- GaloisInc/yapall: 3
- NorfairKing/sydtest: 3
- Mesabloo/diagnose: 2
- GaloisInc/jvm-verifier: 1
- GaloisInc/semmc: 1
- GaloisInc/grappa: 1
- lmorg/murex: 1
- ranweiler/pete: 1
- cachix/install-nix-action: 1
- rwe/actions-hlint-run: 1
- SPY/haskell-wasm: 1
- lortabac/versioning: 1
- aisamanra/s-cargot: 1
- paul-rouse/mysql-simple: 1
- matterhorn-chat/mattermost-api-qc: 1
- Bodigrim/logict: 1
- cachix/cachix: 1
- creswick/cabal-dev: 1
- GaloisInc/bv-sized: 1
- jtdaugherty/brick: 1
- jgm/skylighting: 1
- haskell/fgl: 1
Pull requests created
- GaloisInc/parameterized-utils: 17
- GaloisInc/renovate: 12
- GaloisInc/semmc: 12
- travitch/haggle: 11
- Bodigrim/logict: 8
- GaloisInc/what4: 8
- aisamanra/config-ini: 5
- nomeata/tasty-expected-failure: 4
- GaloisInc/cryptol: 4
- GaloisInc/what4-serialize: 4
- vincenthz/cabal-db: 3
- GaloisInc/asl-translator: 3
- aisamanra/s-cargot: 3
- jtdaugherty/brick: 3
- GaloisInc/jvm-verifier: 2
- GaloisInc/llvm-verifier: 2
- lortabac/versioning: 2
- GaloisInc/bv-sized: 2
- NixOS/hackage-db: 2
- GaloisInc/grappa: 2
- GaloisInc/dismantle: 2
- GaloisInc/yapall: 2
- SPY/haskell-wasm: 2
- GaloisInc/saw-core-what4: 2
- haskell/aeson: 1
- vincenthz/hs-git: 1
- brandonhamilton/ilist: 1
- chessai/patience: 1
- emilaxelsson/syntactic: 1
- GaloisInc/saw-core: 1
- GaloisInc/cryptol-verifier: 1
- GaloisInc/heapster-saw: 1
- IagoAbal/haskell-z3: 1
- haskell/fgl: 1
- glguy/config-value: 1
- GaloisInc/language-sally: 1
- pcapriotti/optparse-applicative: 1
- GaloisInc/hpb: 1
- GaloisInc/aig: 1
- GaloisInc/haskell-wasm: 1
- haskell-graphql/graphql-api: 1
- GaloisInc/test-lib: 1
- GaloisInc/alex-tools: 1
- haskell-nix/hnix: 1
Maintainer
- GaloisInc/parameterized-utils: 17
- GaloisInc/semmc: 13
- GaloisInc/renovate: 12
- travitch/haggle: 11
- GaloisInc/what4: 8
- GaloisInc/yapall: 5
- GaloisInc/cryptol: 4
- GaloisInc/what4-serialize: 4
- GaloisInc/bv-sized: 3
- GaloisInc/asl-translator: 3
- GaloisInc/jvm-verifier: 3
- GaloisInc/grappa: 3
- GaloisInc/saw-core-what4: 2
- GaloisInc/llvm-verifier: 2
- GaloisInc/dismantle: 2
Active Maintainer
Issue Author Associations
- None (13, 48.15%)
- Member (7, 25.93%)
- Contributor (6, 22.22%)
- Collaborator (1, 3.70%)
Pull Request Author Associations
- Member (83, 60.58%)
- Contributor (40, 29.20%)
- Collaborator (11, 8.03%)
- None (3, 2.19%)
Top Issue Labels
- bug (4)
- documentation (1)
- enhancement (1)
- in progress (1)
- deployed to `develop` (1)
Top Pull Request Labels
- versioning level: patch/api unaffected (1)