Ecosyste.ms: Issues

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

GitHub / informalsystems / quint issue stats

Last synced: 10 days ago

Total issues: 348
Total pull requests: 294
Average time to close issues: 4 months
Average time to close pull requests: 6 days
Total issue authors: 20
Total pull request authors: 14
Average comments per issue: 1.62
Average comments per pull request: 0.94
Merged pull requests: 259
Bot issues: 0
Bot pull requests: 0

Past year issues: 206
Past year pull requests: 253
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 5 days
Past year issue authors: 14
Past year pull request authors: 12
Past year average comments per issue: 1.45
Past year average comments per pull request: 0.93
Past year merged pull requests: 224
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/informalsystems/quint
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/informalsystems%2Fquint

Issue Author Associations

  • Member (165, 47.41%)
  • Collaborator (141, 40.52%)
  • Contributor (33, 9.48%)
  • None (9, 2.59%)

Pull Request Author Associations

  • Member (141, 47.96%)
  • Collaborator (109, 37.07%)
  • Contributor (44, 14.97%)

Top Issue Authors

Top Pull Request Authors

All Maintainers

Active Maintainers

Top Issue Labels

  • bug (78)
  • usability (59)
  • feedback (34)
  • impact-low (29)
  • simulator (28)
  • effort-easy (22)
  • language design (18)
  • Flanguage (15)
  • effort-medium (14)
  • tech-debt (14)
  • typechecker (14)
  • repl (13)
  • impact-medium (12)
  • Fsimulator (phase 5a) (12)
  • tla+ transpilation (11)
  • flattening (11)
  • doc (10)
  • Ftypecheck (phase 4) (10)
  • Ftranspiler (phase 5b) (10)
  • modularity (10)
  • error messages (10)
  • UX (10)
  • impact-high (9)
  • Feffects (phase 3) (8)
  • Fparser (phase 1) (7)
  • Frepl (7)
  • product-audits (6)
  • refactoring (6)
  • Fvscode (6)
  • effort-hard (5)

Top Pull Request Labels

  • doc (7)
  • feedback (4)
  • refactoring (4)
  • bug (3)
  • example (2)
  • Fvscode (2)
  • usability (2)
  • devops (1)
  • Fsimulator (phase 5a) (1)
  • demo (1)
  • Frepl (1)
  • Fparser (phase 1) (1)
  • architecture (1)
  • tech-debt (1)