Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cdstanford issue stats
Total issues: 74
Total pull requests: 11
Merged pull request: 11
Average time to close issues: about 2 months
Average time to close pull requests: about 6 hours
Average comments per issue: 2.04
Average comments per pull request: 0.73
Issues created
- PLSysSec/cargo-scan: 58
- alexsomai/stackoverflow-fanatic-badge: 4
- dafny-lang/ide-vscode: 2
- cdstanford/gid: 2
- dafny-lang/dafny: 1
- facebookexperimental/MIRAI: 1
- cmyr/cargo-instruments: 1
- viperproject/prusti-dev: 1
- fujiapple852/trippy: 1
- rust-lang/rust-analyzer: 1
- DDOtten/partitions: 1
- rust-lang/cargo: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (58, 78.38%)
- None (10, 13.51%)
- Contributor (4, 5.41%)
- Owner (2, 2.70%)
Pull Request Author Associations
- Member (3, 27.27%)
- Contributor (3, 27.27%)
- Collaborator (3, 27.27%)
- Owner (2, 18.18%)
Top Issue Labels
- bug (24)
- roadmap-v0 (18)
- enhancement (10)
- roadmap-v1 (9)
- roadmap-unplanned (7)
- good first issue (4)
- help wanted (2)
- C-bug (2)
- documentation (1)
- kind: bug (1)
- incompleteness (1)
- part: counterexamples (1)
- S-needs-info (1)