Ecosyste.ms: Issues

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

GitHub / fstarlang / fstar-mode.el issue stats

Last synced: 1 day ago

Total issues: 151
Total pull requests: 26
Average time to close issues: 3 months
Average time to close pull requests: 3 months
Total issue authors: 24
Total pull request authors: 11
Average comments per issue: 7.38
Average comments per pull request: 2.38
Merged pull requests: 16
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/fstarlang/fstar-mode.el
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/fstarlang%2Ffstar-mode.el

Issue Author Associations

Contributor (80, 52.98%)
None (36, 23.84%)
Member (35, 23.18%)

Pull Request Author Associations

Contributor (18, 69.23%)
Member (4, 15.38%)
None (4, 15.38%)

Top Issue Authors

tchajed (22)
nikswamy (22)
cpitclaudel (13)
msprotz (13)
beurdouche (11)
catalin-hritcu (10)
kkohbrok (8)
wintersteiger (6)
s-zanella (6)
jaybosamiya (6)
parno (6)
mtzguido (6)
wizeman (2)
tahina-pro (2)
kyoDralliam (2)

Top Pull Request Authors

syohex (5)
msprotz (4)
mtzguido (2)
kyoDralliam (2)
nikswamy (2)
tchajed (2)
aseemr (2)
jaybosamiya (2)
andreas-roehler (2)
ildyria (2)
s-zanella (1)

All Maintainers

Active Maintainers

Top Issue Labels

enhancement (11)
invalid (3)
bug (3)
question (2)
performance (2)
help wanted (1)