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
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
- ahelwer (30)
- kape1395 (26)
- lemmy (22)
- muenchnerkindl (7)
- zwergziege (5)
- uguryavuz (5)
- will62794 (2)
- FilaliM (2)
- mery54 (2)
- leandernikolaus (1)
- johnyf (1)
- damiendoligez (1)
- cpacejo (1)
- ghost (1)
- pawsten (1)
Top Pull Request Authors
- kape1395 (39)
- ahelwer (30)
- johnyf (28)
- damiendoligez (14)
- lemmy (9)
- muenchnerkindl (4)
- rozlynd (3)
- adef-inr (3)
- glondu (3)
- dependabot[bot] 🤖 (2)
- hvanz (1)
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)