> On Dec 26, 2021, at 6:09 PM, Stuart Henderson <s...@spacehopper.org> wrote:
>
> 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.
Yes. But it would be convenient for switching easily between the 3 choices
above with less churn in a make file.
