the former repository at kernel.org is back online + the github one used was never ok Reproducible: Always
The github repository worked here for a while and since the kernel.org was gone for more than 2 months, I did that update. I'll revert to the kernel.org repo later today.
I've reverted to the kernel.org repo a few days ago.