Ecosyste.ms: Issues

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

GitHub / jonaskrask issue stats

Total issues: 89
Total pull requests: 0
Merged pull request: 0
Average time to close issues: 2 months
Average time to close pull requests: N/A
Average comments per issue: 5.88
Average comments per pull request: 0

Issues created

overturetool/vdm-vscode: 86
overturetool/overture: 3

Pull requests created

Maintainer

overturetool/vdm-vscode: 86

Active Maintainer

Issue Author Associations

Collaborator (86, 96.63%)
None (3, 3.37%)

Pull Request Author Associations

Top Issue Labels

enhancement (58)
UI bug (23)
fixed in VDMJ (11)
wontfix (6)
documentation (2)
question (2)
good first issue (1)