commit 4a96f0cf133b5cb096e060e90350fe90e9fff938
Author: Lukas K. <lu@0x83.eu>
Date:   Mon Mar 18 22:53:31 2024 +0100

    pool git box: support pool not at root of repo
    
    changelog: Enhancements/Pool Manager: support git integration even if the pool isn't at the root of the repo
