Github how to copy a file to download

Or if you're not into package management, just download a ZIP file. Target -->