On Wed, Aug 03, 2022 at 10:24:31AM +0100, José Matos wrote: > Is there are any script take takes the repository and outputs a source > release (like a tar ball gzip or xz)? make dist p