GitHub / muenchnerkindl issue stats
Total issues: 11
Total pull requests: 22
Merged pull request: 15
Average time to close issues: 10 months
Average time to close pull requests: 6 days
Average comments per issue: 1.45
Average comments per pull request: 2.05
Issues created
- tlaplus/tlapm: 7
- tlaplus/tlaplus: 3
- tlaplus/Examples: 1
Pull requests created
Maintainer
- tlaplus/Examples: 10
Active Maintainer
Issue Author Associations
- Contributor (7, 63.64%)
- None (3, 27.27%)
- Collaborator (1, 9.09%)
Pull Request Author Associations
- Contributor (11, 50.00%)
- Collaborator (9, 40.91%)
- None (2, 9.09%)
Top Issue Labels
- enhancement (6)
- bug (4)
- help wanted (2)
- TLAPS (2)
- TLA+ Foundation Funding (2)
- Tools (1)
Top Pull Request Labels
- enhancement (4)