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

GitHub / tlaplus / tlapm issue stats

Last synced: 4 days ago

Total issues: 109
Total pull requests: 106
Average time to close issues: 7 months
Average time to close pull requests: 4 months
Total issue authors: 22
Total pull request authors: 12
Average comments per issue: 2.17
Average comments per pull request: 3.55
Merged pull requests: 83
Bot issues: 0
Bot pull requests: 1

Past year issues: 42
Past year pull requests: 48
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 11 days
Past year issue authors: 9
Past year pull request authors: 8
Past year average comments per issue: 1.33
Past year average comments per pull request: 2.13
Past year merged pull requests: 34
Past year bot issues: 0
Past year bot pull requests: 1

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/tlaplus/tlapm
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Ftlapm

Issue Author Associations

  • Collaborator (49, 44.95%)
  • None (33, 30.28%)
  • Member (22, 20.18%)
  • Contributor (11, 10.09%)

Pull Request Author Associations

  • Collaborator (70, 66.04%)
  • Contributor (51, 48.11%)
  • Member (10, 9.43%)
  • None (5, 4.72%)

Top Issue Authors

Top Pull Request Authors


All Maintainers

Active Maintainers


Top Issue Labels

  • bug (35)
  • syntax parser (14)
  • enhancement (14)
  • documentation (7)
  • semantic checker (6)
  • syntax (4)
  • translator (4)
  • question (2)
  • api (2)
  • ui (1)
  • dependencies (1)
  • ci (1)
  • soundness (1)
  • testing (1)

Top Pull Request Labels

  • bug (10)
  • enhancement (10)
  • dependencies (2)
  • documentation (2)
  • api (1)
  • ui (1)