Duh, I confused these with the github generated archive, sorry about
that.

Is there any preference between git-fetch and url-fetch?

-- 
Pierre Neidhardt
https://ambrevar.xyz/