How can I change the filename of release files?

I need help. I’ve created a new release of my tool and the zip files were created successfully. I can now download them via this URL:

https://gitlab.xxx.de/xxx-development/xxx-helper/-/archive/v1.0.0/xxx-helper-v1.0.0.zip

The problem is that I need to remove the -v1.0.0 somehow from the file name of the zip file because otherwise a target system creates a folder with the version in the name which makes huge problems. So at least I need this structure:

https://gitlab.xxx.de/xxx-development/xxx-helper/-/archive/v1.0.0/xxx-helper.zip

How can I do this?

Currently, the filename format of project-tagname.ext is ingrained in all the parts of code that power the archive downloads and is inflexible.

Such a requirement would need to be a logged as a feature request.

Unsure how much control you have over the target system in question, but perhaps you can adjust the way it extracts the archive or post-process it.