Skip to content

cmd/upload: use --mirror when git pushing repo to archive

This should make sure everything is synchronized, including all tags.

Merge request reports