On Sat, Jul 05, 2025 at 11:26:38AM +0200, Stefan Sperling wrote:
> 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.

I've gone ahead and committed your initial patch with some tweaks
on top. If anything remains to be improved, please let us know.

Cheers!