Downloading a repo archive from something like https://gitlab.com/JimDeanSpivey/dotfiles/repository/archive.zip results in a large file name like dotfiles-master-9954f4a77519ab5227735f6d17d95ddc9cd08c3b.zip.
How do you download the archive so that it more closely mimics Github and would only generate dotfiles-master.zip?