GitHub / viperproject / gobra issue stats
Last synced: about 20 hours ago
Total issues: 202
Total pull requests: 144
Average time to close issues: 8 months
Average time to close pull requests: about 2 months
Total issue authors: 20
Total pull request authors: 14
Average comments per issue: 3.11
Average comments per pull request: 0.85
Merged pull requests: 122
Bot issues: 0
Bot pull requests: 4
Past year issues: 82
Past year pull requests: 75
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 10 days
Past year issue authors: 9
Past year pull request authors: 7
Past year average comments per issue: 0.93
Past year average comments per pull request: 0.71
Past year merged pull requests: 66
Past year bot issues: 0
Past year bot pull requests: 2
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fgobra
Issue Author Associations
- Member (94, 46.53%)
- None (63, 31.19%)
- Contributor (35, 17.33%)
Pull Request Author Associations
- Member (77, 53.47%)
- Contributor (60, 41.67%)
- None (4, 2.78%)
Top Issue Authors
- viper-admin (82)
- jcp19 (23)
- gottschali (22)
- henriman (18)
- ArquintL (11)
- ThomasMayerl (9)
- HSMF (8)
- Felalolf (5)
- lmeinen (2)
- dnezam (2)
- rayman2000 (1)
- LinoTelschow (1)
- cfm (1)
- Dspil (1)
- gregwebs (1)
Top Pull Request Authors
- viper-admin (43)
- jcp19 (42)
- ArquintL (34)
- Felalolf (8)
- dependabot[bot] 🤖 (4)
- bruggerl (2)
- aaronbojarski (1)
- koflin (1)
- dnezam (1)
- Simon-Hostettler (1)
- vizual1 (1)
- daydr3am (1)
- jhoyla (1)
- stammon (1)
All Maintainers
- viper-admin (125)
- ArquintL (45)
- Aurel300 (1)
Active Maintainers
- ArquintL (25)
- viper-admin (19)
Top Issue Labels
- bug (43)
- pull request (36)
- merged (33)
- major (32)
- enhancement (23)
- minor (17)
- SIF (15)
- type checking (8)
- encoding (8)
- incompleteness (6)
- parsing (5)
- feature-request (5)
- termination-checking (5)
- declined (3)
- highpriority (3)
- desugaring (2)
- task (2)
- critical (2)
- VerifiedSCION (2)
- overflow (2)
- error reporting (2)
- soundness (1)
- syntax (1)
- Viper (1)
- trivial (1)
- wontfix (1)
Top Pull Request Labels
- automated pr (40)
- dependencies (4)
- pull request (3)
- enhancement (2)
- SIF (1)
- bug (1)
- type checking (1)