> On Dec 26, 2021, at 6:09 PM, Stuart Henderson <stu@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.
No comments:
Post a Comment