Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / someplaceguy issue stats
Total issues: 13
Total pull requests: 4
Merged pull request: 2
Average time to close issues: 3 days
Average time to close pull requests: about 1 hour
Average comments per issue: 3.15
Average comments per pull request: 1.25
Issues created
- cvc5/cvc5: 4
- Z3Prover/z3: 2
- NixOS/nixpkgs: 2
- melsman/mlkit: 1
- FiloSottile/age: 1
- NixOS/nix: 1
- sile-typesetter/sile: 1
- ddsmt/ddSMT: 1
Pull requests created
- NixOS/nixpkgs: 2
- Z3Prover/z3: 2
Maintainer
Active Maintainer
Issue Author Associations
- None (10, 76.92%)
- Contributor (3, 23.08%)
Pull Request Author Associations
- Contributor (4, 100.00%)
Top Issue Labels
- bug (2)
- 0.kind: build failure (1)
- 0.kind: bug (1)
- performance (1)
- enhancement (1)
Top Pull Request Labels
- 10.rebuild-linux: 101-500 (1)
- 10.rebuild-darwin: 0 (1)