Delete an archive; update .gitignore: ignore 7z archives