Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tchajed issue stats
Total issues: 41
Total pull requests: 68
Merged pull request: 52
Average time to close issues: 5 months
Average time to close pull requests: 5 days
Average comments per issue: 1.59
Average comments per pull request: 0.94
Issues created
- tchajed/goose: 12
- vmware-research/temporal-verifier: 6
- dafny-lang/dafny: 5
- coq-community/docker-coq-action: 2
- wallyqs/org-ruby: 2
- staticfloat/homebrew-julia: 1
- cpitclaudel/company-coq: 1
- tchajed/specious-db: 1
- jonhoo/go-events: 1
- keybase/managed-bots: 1
- schollz/progressbar: 1
- go-check/check: 1
- psobot/keynote-parser: 1
- cpitclaudel/alectryon: 1
- kino-mc/rsmt2: 1
- bluss/indexmap: 1
- emotion-js/emotion: 1
- ocaml/Zarith: 1
- chaimleib/intervaltree: 1
Pull requests created
- vmware-research/temporal-verifier: 33
- kino-mc/rsmt2: 6
- kevinmehall/rust-peg: 3
- zeldovich/go-rpcgen: 3
- jonhoo/go-events: 2
- datagraph/jquery-jsonrpc: 2
- verus-lang/verus: 2
- mit-pdos/go-nfsd: 1
- kohler/hotcrp: 1
- cpitclaudel/company-coq: 1
- emotion-js/emotion: 1
- philnguyen/z3-rkt: 1
- nibbstack/erc721: 1
- averagehuman/python-html2rest: 1
- jonhoo/cliff: 1
- Homebrew/homebrew-core: 1
- vuvuzela/crypto: 1
- staticfloat/homebrew-julia: 1
- stedolan/counterexamples: 1
- wallyqs/org-ruby: 1
- haskell/criterion: 1
- Homebrew/homebrew-cask: 1
- starship/starship: 1
- gsamokovarov/jump: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (13, 31.71%)
- None (11, 26.83%)
- Contributor (9, 21.95%)
- Member (8, 19.51%)
Pull Request Author Associations
- Member (34, 50.00%)
- Contributor (26, 38.24%)
- None (6, 8.82%)
- Collaborator (2, 2.94%)
Top Issue Labels
- enhancement (5)
- bug (4)
- part: documentation (2)
- kind: bug (2)
- upstream (1)
- good first issue (1)
- kind: enhancement (1)
- part: z3 (1)
- needs triage (1)
- documentation (1)
- crash (1)
- during 1: program development (1)
Top Pull Request Labels
- enhancement (1)
- java (1)
- CI-no-fail-fast (1)
- dotnet (1)
- bump-cask-pr (1)