On Fri Aug 1, 2025 at 3:37 PM CEST, Gilles Peskine wrote:
It's better to use the git tags, in fact. They're inherently fairly
protected against tampering, unlike archives. GitHub doesn't track the
history of releases or their attachments.
Great! Thanks :)
