7 Jan
2024
7 Jan
'24
5:23 p.m.
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