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: 95
Total pull requests: 176
Merged pull request: 142
Average time to close issues: 3 months
Average time to close pull requests: 21 days
Average comments per issue: 2.57
Average comments per pull request: 1.0
Issues created
Pull requests created
- moves-rwth/stormpy: 125
- moves-rwth/pycarl: 36
- moves-rwth/attestor: 14
- moves-rwth/prophesy: 1
Issue owner Associations
- None (68, 71.58%)
- Contributor (26, 27.37%)
- Member (1, 1.05%)
Pull Request owner Associations
- Contributor (147, 83.52%)
- None (23, 13.07%)
- Member (6, 3.41%)
All Maintainers
- tquatmann (7)
Active Maintainers
Top Issue Authors
- sjunges (18)
- oyendrila-dobe (14)
- volkm (8)
- AlanLeAI (4)
- ribsthakkar (4)
- netro505 (3)
- nielsneerhoff (3)
- temunds (3)
- linusheck (3)
- xhajnal (3)
- PimLeerkes (3)
- kevinzhao79 (2)
- xinwei2124 (2)
- huypn12 (2)
- GavinRens (2)
Top Pull Request Authors
- volkm (99)
- sjunges (28)
- dependabot[bot] 🤖 (27)
- tquatmann (6)
- TheGreatfpmK (4)
- AlexBork (3)
- dbasgoeze (2)
- github-actions[bot] 🤖 (2)
- linusheck (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 (27)