Hi Nicolas,

I also run into this issue. I applied your patches locally and can
confirm that git-filter-repo now builds again.

The patch looks good to me.

Thanks for fixing it!

Roman