On Sat, Jun 14, 2025 at 10:06:22PM +0200, Martijn van Duren wrote:
> Disregard this specific diff for now, I ran into something.
> Still curious about the concept.

Any progress on this?

I am inclined to have you commit your first patch, and I would add
the HEAD comparison check on top. Then we'd at least have a fix for
the issue in the tree. We can always improve things later.