Also for the WIP case, we can have this robot: https://github.com/apps/wip
I have never used it, but this avoids merging WIPs…
1 Like
Also for the WIP case, we can have this robot: https://github.com/apps/wip
I have never used it, but this avoids merging WIPs…