|
|
|
|
|
|
by jghn
1956 days ago
|
|
|
We use this as well. It caught some lurking bugs when we first turned it on. Since then it catches things before merging, so it is harder to keep metrics. It did just point out a bug in a PR of mine the other day so it’s at least doing something :) |
|
|