It was already evening by the time the developer contacted me. The deadbeef commit patch had disappeared from the master branch. They showed me the evidence: the output from two commands. The first one was: git show deadbeef This showed changes to the file: let’s call it Page.php. …