Ecosyste.ms: Issues

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

GitHub / vehicle-lang / vehicle issue stats

Last synced: 5 days ago

Total issues: 100
Total pull requests: 192
Average time to close issues: 4 months
Average time to close pull requests: 4 days
Total issue authors: 7
Total pull request authors: 4
Average comments per issue: 1.33
Average comments per pull request: 0.13
Merged pull requests: 176
Bot issues: 0
Bot pull requests: 66

Past year issues: 17
Past year pull requests: 91
Past year average time to close issues: 26 days
Past year average time to close pull requests: 3 days
Past year issue authors: 4
Past year pull request authors: 4
Past year average comments per issue: 1.18
Past year average comments per pull request: 0.21
Past year merged pull requests: 80
Past year bot issues: 0
Past year bot pull requests: 30

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/vehicle-lang/vehicle
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/vehicle-lang%2Fvehicle

Issue Author Associations

Collaborator (87, 87.00%)
None (13, 13.00%)

Pull Request Author Associations

Collaborator (126, 65.63%)
Contributor (66, 34.38%)

Top Issue Authors

Top Issue Labels

bug (56)
backend:verifiers (17)
backend:loss (13)
documentation (13)
compiler:type-checker (12)
enhancement (12)
refactoring (12)
compiler:error-messages (9)
test-suite (8)
upstream (7)
backend:itps (6)
performance (6)
CI (5)
python (5)
build-system (5)
UX (4)
soundness (4)
status:invalid (2)
language (2)
error-messages (2)
compiler:normalisation (1)

Top Pull Request Labels

refactoring (62)
dependencies (39)
github_actions (28)
enhancement (23)
backend:verifiers (22)
bug (15)
compiler:type-checker (15)
compiler:normalisation (15)
backend:loss (15)
python (12)
CI (7)
documentation (7)
compiler:error-messages (6)
test-suite (5)
language (5)
errors-and-warnings (5)
UX (5)
backend:itps (4)
error-messages (3)
performance (3)
compiler:other (2)