yes, that's what I want to do.
I have a look on tags, I can create tag from prompt (git tag -a '1.0' -m '1.0' for example) in local.
But I don't understand how to generate a zip archive from this tag and how to publish this archive on github.
fyi, I am working on a PC, with Github for Windows