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. The canBeEdited method and its usage had been added to it.
And the output from the second command
git log -p Page.php
did not contain the deadbeef commit. Nor did the current version of the Page.php file have the canBeEdited method.
Not having found the solution quickly, we made another patch to…