Ecosyste.ms: Issues

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

GitHub / s-zanella issue stats

Total issues: 8
Total pull requests: 7
Merged pull request: 5
Average time to close issues: about 13 hours
Average time to close pull requests: 6 months
Average comments per issue: 5.25
Average comments per pull request: 4.0

Issues created

fstarlang/fstar-mode.el: 6
pytorch/opacus: 1
FStarLang/karamel: 1

Pull requests created

cryspen/hacl-packages: 2
hacl-star/hacl-star: 1
microsoft/prv_accountant: 1
fstarlang/fstar-mode.el: 1
HACS-workshop/hacspec: 1
microsoft/aici: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (7, 87.50%)
None (1, 12.50%)

Pull Request Author Associations

Contributor (5, 71.43%)
None (2, 28.57%)

Top Issue Labels

enhancement (2)
bug (1)

Top Pull Request Labels

question (1)
api (1)