GitHub / leanprover / sampcert issue stats
Last synced: 6 months ago
Total issues: 12
Total pull requests: 56
Average time to close issues: about 1 month
Average time to close pull requests: 8 days
Total issue authors: 2
Total pull request authors: 6
Average comments per issue: 0.5
Average comments per pull request: 0.23
Merged pull requests: 38
Bot issues: 0
Bot pull requests: 0
Past year issues: 12
Past year pull requests: 56
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 8 days
Past year issue authors: 2
Past year pull request authors: 6
Past year average comments per issue: 0.5
Past year average comments per pull request: 0.23
Past year merged pull requests: 38
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fsampcert
Issue Author Associations
- Collaborator (12, 100.00%)
Pull Request Author Associations
- Collaborator (52, 92.86%)
- None (3, 5.36%)
- Contributor (1, 1.79%)
Top Issue Authors
- jtristan (8)
- mjdemedeiros (4)
Top Pull Request Authors
- jtristan (26)
- mjdemedeiros (25)
- markusdemedeiros (2)
- madvorak (1)
- BoltonBailey (1)
- travitch (1)
All Maintainers
- jtristan (34)
- mjdemedeiros (29)
- travitch (1)
Active Maintainers
- mjdemedeiros (4)
- jtristan (2)
- travitch (1)
Top Issue Labels
- enhancement (8)
- Priority : low (7)
- Back end (6)
- Middle end (4)
- Priority : medium (4)
- Priority : high (1)
- Front end (1)