Rename POOL merge executor
We've never really used hybrid
merging for POOL files in production. Let's rename the executor to avoid possible confusion.
cc: @gemmeren
We've never really used hybrid
merging for POOL files in production. Let's rename the executor to avoid possible confusion.
cc: @gemmeren