Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / benjaminfjones issue stats

Total issues: 18
Total pull requests: 7
Merged pull request: 7
Average time to close issues: 4 months
Average time to close pull requests: about 6 hours
Average comments per issue: 2.94
Average comments per pull request: 0.14

Issues created

GaloisInc/FiveUI: 4
matterhorn-chat/matterhorn: 2
GaloisInc/crucible: 1
Linuxbrew/legacy-linuxbrew: 1
nc6/cabin: 1
GaloisInc/abcBridge: 1
ivan-m/haskell-docs: 1
cvc5/cvc5: 1
sagemath/sage: 1
sri-csl/etb: 1
leanprover/vscode-lean4: 1
GaloisInc/ivory: 1
nix-community/home-manager: 1
Z3Prover/z3: 1

Pull requests created

jtdaugherty/tmux-status: 3
creswick/chatter: 1
tommd/bench: 1
GaloisInc/saw-core: 1
GaloisInc/abcBridge: 1

Maintainer

Active Maintainer

Issue Author Associations

None (11, 61.11%)
Contributor (7, 38.89%)

Pull Request Author Associations

Contributor (7, 100.00%)

Top Issue Labels

bug (4)
enhancement (3)
t: enhancement (1)
p: minor / 4 (1)
s: needs work (1)
c: documentation (1)
c: symbolics (1)
ui (1)
documentation (1)
build-error (1)
status: stale (1)
triage (1)