GitHub / travitch issue stats
Total issues: 146
Total pull requests: 221
Merged pull request: 198
Average time to close issues: 3 months
Average time to close pull requests: 14 days
Average comments per issue: 0.63
Average comments per pull request: 0.36
Issues created
- GaloisInc/surveyor: 58
- GaloisInc/renovate: 22
- GaloisInc/mctrace: 11
- GaloisInc/macaw: 8
- GaloisInc/dismantle: 8
- travitch/build-bom: 5
- GaloisInc/pate: 4
- GaloisInc/flexdis86: 3
- GaloisInc/semmc: 3
- travitch/ifscs: 2
- matterhorn-chat/matterhorn: 2
- travitch/persistent-vector: 2
- travitch/llvm-base-types: 1
- travitch/haggle: 1
- ranweiler/pete: 1
- mainland/ref-tf: 1
- GaloisInc/parameterized-utils: 1
- GaloisInc/elf: 1
- travitch/llvm-analysis: 1
- GaloisInc/elf-edit: 1
- GaloisInc/what4: 1
- clemera/frog-menu: 1
- gregorycollins/hashtables: 1
- minad/consult: 1
- GaloisInc/crucible: 1
- GaloisInc/asl-translator: 1
- travitch/llvm-data-interop: 1
- tych0/haggis: 1
- willdonnelly/dyre: 1
- GaloisInc/what4-serialize: 1
Pull requests created
- GaloisInc/renovate: 34
- GaloisInc/surveyor: 33
- travitch/ql-grep: 31
- GaloisInc/semmc: 18
- GaloisInc/asl-translator: 10
- GaloisInc/dismantle: 10
- travitch/build-bom: 10
- GaloisInc/macaw-loader: 6
- GaloisInc/macaw: 5
- GaloisInc/what4-serialize: 5
- GaloisInc/flexdis86: 5
- travitch/persistent-vector: 4
- travitch/haggle: 4
- matterhorn-chat/matterhorn: 3
- justinethier/husk-scheme: 3
- GaloisInc/what4: 2
- GaloisInc/golang: 2
- travitch/itanium-abi: 2
- ranweiler/pete: 2
- creswick/chatter: 2
- GaloisInc/crucible: 2
- GaloisInc/pate: 2
- GaloisInc/mir-verifier: 2
- GaloisInc/mctrace: 2
- GaloisInc/softfloat-hs: 2
- GaloisInc/elf-edit: 1
- tych0/haggis: 1
- snoyberg/file-embed: 1
- travitch/datalog: 1
- bjpop/language-python: 1
- gregwebs/FileLocation.hs: 1
- GaloisInc/bv-sized: 1
- ekmett/pointed: 1
- simonmar/monad-par: 1
- GaloisInc/lumberjack: 1
- GaloisInc/abide: 1
- GaloisInc/language-sleigh: 1
- travitch/travitch: 1
- batterseapower/lattices: 1
- vincenthz/ghc-core-html: 1
- GaloisInc/parameterized-utils: 1
- leanprover/sampcert: 1
- immunant/dwarf-writer: 1
- jgm/zip-archive: 1
- gridaphobe/located-base: 1
Maintainer
- travitch/ql-grep: 31
- travitch/build-bom: 15
- travitch/persistent-vector: 6
- travitch/haggle: 5
- travitch/ifscs: 2
- creswick/chatter: 2
- travitch/itanium-abi: 2
- travitch/llvm-data-interop: 1
- travitch/travitch: 1
- travitch/datalog: 1
- leanprover/sampcert: 1
- travitch/llvm-base-types: 1
- travitch/llvm-analysis: 1
Active Maintainer
Issue Author Associations
- Contributor (128, 87.67%)
- Owner (13, 8.90%)
- None (5, 3.42%)
Pull Request Author Associations
- Contributor (161, 72.85%)
- Owner (53, 23.98%)
- None (4, 1.81%)
- Collaborator (3, 1.36%)
Top Issue Labels
- enhancement (31)
- bug (11)
- blue-sky (5)
- ui (5)
- discovery (5)
- tech-debt (4)
- core (3)
- probe-injection (3)
- code-quality (2)
- arch/aarch32 (2)
- intrinsics (2)
- probes (2)
- arch:ppc (2)
- symio (1)
- libc (1)