Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andreistefanescu issue stats
Total issues: 6
Total pull requests: 65
Merged pull request: 57
Average time to close issues: 6 months
Average time to close pull requests: about 1 month
Average comments per issue: 0.67
Average comments per pull request: 0.51
Issues created
Pull requests created
- awslabs/aws-lc-verification: 16
- GaloisInc/crucible: 9
- GaloisInc/what4: 9
- GaloisInc/saw-core: 6
- GaloisInc/s2n: 4
- GaloisInc/semmc: 3
- GaloisInc/saw-script: 3
- GaloisInc/saw-core-aig: 3
- GaloisInc/saw-core-sbv: 3
- GaloisInc/BLST-Verification: 2
- GaloisInc/macaw-semmc: 2
- GaloisInc/saw-core-what4: 2
- GaloisInc/cryptol-verifier: 1
- GaloisInc/reopt-vcg: 1
- GaloisInc/macaw: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (5, 83.33%)
- None (1, 16.67%)
Pull Request Author Associations
- Contributor (61, 93.85%)
- None (4, 6.15%)
Top Issue Labels
- duplicate (1)