From: Glen Fernandes (glen.fernandes_at_[hidden])
Date: 2024-01-07 17:23:02
On Sun, Jan 7, 2024 at 12:19 PM Peter Dimov wrote:
> One obvious alternative is Github Releases; this has been raised in the
> past,
> and Raffi Enficiaud even created a script to do it:
> https://github.com/boostorg/release-tools/pull/16
> but for some reason, there was no interest in using this for releases.
>
> Ultimately, the release managers need to decide whether to pursue this as
> an option.
>
If we change what goes into the distribution, this is an option. As far as
I was told, at our current distribution size, this would require LFS which
GitHub would charge us for.
Glen