On Sun, Jun 19, 2022 at 12:14:37PM +0200, Omar Polo wrote:
> reattaching the pile of patches.  The change to parse the commit id is
> in the latest commit, i've kept it separate in the hope of making the
> review easier.

All this looks fine to me. ok