Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lemmy issue stats
Total issues: 115
Total pull requests: 107
Merged pull request: 85
Average time to close issues: about 1 year
Average time to close pull requests: 7 days
Average comments per issue: 3.07
Average comments per pull request: 2.26
Issues created
- tlaplus/tlaplus: 59
- tlaplus/tlapm: 15
- tlaplus/Examples: 11
- microsoft/CCF: 10
- jgrapht/jgrapht: 5
- tlaplus-community/tree-sitter-tlaplus: 3
- AdoptOpenJDK/jitwatch: 3
- tlaplus-community/tlauc: 2
- kelvich/tlaplus_jupyter: 2
- elastic/elasticsearch-formal-models: 2
- JohnnyTheTank/apiNG: 1
- microsoft/vscode-mock-debug: 1
- katzenpost/formal_specifications: 1
Pull requests created
Maintainer
- microsoft/CCF: 88
- tlaplus/tlaplus: 73
- tlaplus/tlapm: 16
- tlaplus/Examples: 14
Active Maintainer
- microsoft/CCF: 45
- tlaplus/tlaplus: 17
- tlaplus/Examples: 1
Issue Author Associations
- Member (85, 73.91%)
- None (18, 15.65%)
- Collaborator (10, 8.70%)
- Contributor (2, 1.74%)
Pull Request Author Associations
- Collaborator (78, 72.90%)
- Member (18, 16.82%)
- None (6, 5.61%)
- Contributor (5, 4.67%)
Top Issue Labels
- bug (41)
- enhancement (40)
- Toolbox (33)
- Tools (25)
- tla (9)
- help wanted (9)
- Unicode (7)
- not a bug (5)
- documentation (3)
- DevEnvironment (2)
- TLAPS (2)
- ui (1)
- api (1)
- usability (1)
- question (1)
Top Pull Request Labels
- tla (76)
- enhancement (13)
- Tools (9)
- bug (7)
- consensus (3)
- documentation (2)
- PlusCal (2)
- DevEnvironment (2)
- regression (2)
- github_actions (2)
- testing (1)
- help wanted (1)
- SANY (1)