Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / moves-rwth issue stats
Total issues: 89
Total pull requests: 163
Merged pull request: 130
Average time to close issues: 4 months
Average time to close pull requests: 23 days
Average comments per issue: 2.65
Average comments per pull request: 0.97
Issues created
Pull requests created
- moves-rwth/stormpy: 112
- moves-rwth/pycarl: 36
- moves-rwth/attestor: 14
- moves-rwth/prophesy: 1
Issue owner Associations
- None (62, 69.66%)
- Contributor (26, 29.21%)
- Member (1, 1.12%)
Pull Request owner Associations
- Contributor (136, 83.44%)
- None (21, 12.88%)
- Member (6, 3.68%)
All Maintainers
- tquatmann (7)
Active Maintainers
Top Issue Authors
- sjunges (18)
- oyendrila-dobe (14)
- volkm (8)
- ribsthakkar (4)
- nielsneerhoff (3)
- netro505 (3)
- temunds (3)
- PimLeerkes (3)
- linusheck (3)
- xhajnal (3)
- kevinzhao79 (2)
- xinwei2124 (2)
- huypn12 (2)
- GavinRens (2)
- xwang2775 (2)
Top Pull Request Authors
- volkm (96)
- dependabot[bot] 🤖 (25)
- sjunges (23)
- tquatmann (6)
- AlexBork (3)
- TheGreatfpmK (3)
- dbasgoeze (2)
- github-actions[bot] 🤖 (2)
- lisaoakley (1)
- Philipp15b (1)
- randriu (1)
Top Issue Labels
- wontfix (2)
- Documentation Missing (1)
- unwanted behavior (1)
- enhancement (1)
Top Pull Request Labels
- dependencies (25)