Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc / HARDENS issue stats

Last synced: 10 months ago

Total issues: 55
Total pull requests: 45
Average time to close issues: about 2 months
Average time to close pull requests: 8 days
Total issue authors: 4
Total pull request authors: 4
Average comments per issue: 1.89
Average comments per pull request: 0.76
Merged pull requests: 41
Bot issues: 0
Bot pull requests: 0

Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/GaloisInc/HARDENS
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2FHARDENS

Issue Author Associations

Member (28, 50.91%)
Contributor (18, 32.73%)
Collaborator (9, 16.36%)

Pull Request Author Associations

Contributor (20, 44.44%)
Collaborator (15, 33.33%)
Member (10, 22.22%)

Active Maintainers

Top Issue Labels

ENHANCEMENT (30)
specifications (19)
Someday (14)
On Deck (13)
assurance (11)
documentation (11)
hardware (9)
Q/A (9)
architecture (8)
feature model (7)
build system (7)
Lando/Lobot (7)
software (6)
FEATURE (6)
verification (6)
cryptol (6)
source code (5)
SysML (5)
docker (5)
WiP (4)
ACSL (2)
BLOCKED (2)
BUG (1)

Top Pull Request Labels

documentation (7)
ENHANCEMENT (7)
hardware (4)
assurance (4)
specifications (3)
architecture (3)
Ready for Review (3)
software (2)
FEATURE (2)
source code (2)
WiP (2)
Q/A (2)
SysML (1)