Ecosyste.ms: Issues

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

GitHub / paulch42 issue stats

Total issues: 44
Total pull requests: 3
Merged pull request: 2
Average time to close issues: 4 months
Average time to close pull requests: 6 months
Average comments per issue: 20.39
Average comments per pull request: 0.67

Issues created

overturetool/language: 14
overturetool/vdm-vscode: 14
overturetool/overture: 13
python-openapi/openapi-spec-validator: 1
leanprover/theorem_proving_in_lean4: 1
overturetool/documentation: 1

Pull requests created

leanprover/theorem_proving_in_lean4: 3

Maintainer

Active Maintainer

Issue Author Associations

None (43, 97.73%)
Contributor (1, 2.27%)

Pull Request Author Associations

Contributor (3, 100.00%)

Top Issue Labels

UI bug (11)
enhancement (9)
Request for Modification (8)
Completed (7)
fixed in VDMJ (6)
bug (5)
Request for Clarification (4)
external (3)
Rejected (3)
language (2)
VSCode Review (2)
improvement (2)