Fixing a bug when outputting after a pull, when a path to be output is a string-prefix of another one without being a path-prefix of that other one

Created by  pmeunier  on February 27, 2023
5XCNW4EVBUVSZPDPGLHQOZJOUWMMSCLK7QTXF7GNS3L5Q2G2MLCAC
Change contents