Thanks for the update! The
recipe sticky should probably be edited to reflect the new link, no?
As I said, I have only a passing familiarity with git. Can it fetch the modification time of a single file from the source tree, without having a local copy of the whole source stored?