On 2021/12/26 16:37, Daniel Dickman wrote: > A second thing that bothers me with our infrastructure is that we tell people > we prefer to use GitHub releases although I’m not sure that our > infrastructure supports releases as nicely as it supports tags and specific > commits. Would be nice to have something like GH_RELEASE maybe. Dunno.
It doesn't need to do anything to support releases, they are just ordinary distfiles.
