Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / kiniry issue stats
Total issues: 159
Total pull requests: 24
Merged pull request: 20
Average time to close issues: 3 months
Average time to close pull requests: 5 days
Average comments per issue: 2.23
Average comments per pull request: 0.5
Issues created
- GaloisInc/hacrypto: 36
- GaloisInc/HARDENS: 28
- GaloisInc/BESSPIN-CloudGFE: 28
- kiniry/gitkraken: 18
- GaloisInc/BESSPIN-Voter-Registration: 14
- GaloisInc/BESSPIN-Tool-Suite: 10
- GaloisInc/e2eviv: 9
- GaloisInc/cryptol-specs: 5
- GaloisInc/BESSPIN-FETT-Portal: 4
- sri-csl/pvs: 4
- GaloisInc/cryptol: 2
- GaloisInc/crucible: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (137, 86.16%)
- Owner (18, 11.32%)
- None (4, 2.52%)
Pull Request Author Associations
- Member (12, 50.00%)
- Owner (11, 45.83%)
- Contributor (1, 4.17%)
Top Issue Labels
- enhancement (43)
- FETT (28)
- ENHANCEMENT (24)
- CloudGFE (20)
- Voting (14)
- AWS (13)
- SoC (12)
- Someday (12)
- specifications (12)
- Q/A (12)
- On Deck (12)
- Target (11)
- Documentation (10)
- assurance (9)
- P1 (8)
Top Pull Request Labels
- documentation (8)
- ENHANCEMENT (4)
- hardware (3)
- Ready for Review (3)
- software (2)
- WiP (2)
- bug (2)
- specifications (1)
- architecture (1)
- assurance (1)