Allow customization of zip name in generate-repository-facade #77
Description
In tycho's archive-repository mojo, I can use to define the name of the zip archive generated. This should be possible here too.
{{ message }}
In tycho's archive-repository mojo, I can use to define the name of the zip archive generated. This should be possible here too.