I know I'm kind of late to this, but you could try adding .zip to repl url.
For example if you have a repl called testing and your username is monet, the download path would be: https://replit.com/@monet/testing.zip