GitHub / monoidal issue stats
Total issues: 10
Total pull requests: 20
Merged pull request: 12
Average time to close issues: 6 months
Average time to close pull requests: about 2 months
Average comments per issue: 2.4
Average comments per pull request: 1.7
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (10, 100.00%)
Pull Request Author Associations
- Member (13, 65.00%)
- Contributor (5, 25.00%)
- None (1, 5.00%)
- Collaborator (1, 5.00%)
Top Issue Labels
- tool:GHC (1)
- type:error-message (1)
- status:Composing error message (1)
- bug (1)
- out-of-scope (1)
Top Pull Request Labels
- merge me (1)
- merge delay passed (1)