Skip to content

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

Merge request reports