From 6f20135a8b7410cbabb73347ef9007d67cd1b11f Mon Sep 17 00:00:00 2001 From: Silvan Calarco Date: Thu, 7 Nov 2024 21:51:58 +0100 Subject: [PATCH] autodist-git: exclude *.deb from files pushed --- autodist-git | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/autodist-git b/autodist-git index 4043bd1..38a361b 100755 --- a/autodist-git +++ b/autodist-git @@ -105,7 +105,7 @@ def commitReleaseFromDir(options, pkg_info, gitea_repo, repo, temp_dir): # Delete binary source archives for pattern in [ '*.zip','*.tar.bz2','*.tar.xz','*.tar.gz','*.tgz','*.txz','*.iso', - '*.run','*.dll','*.bin','*.jar','*.msi']: + '*.run','*.dll','*.bin','*.jar','*.msi','*.deb']: for filename in glob.glob(f'{src_dir}/{pattern}'): os.remove(filename) @@ -166,7 +166,7 @@ def commitReleaseFromDir(options, pkg_info, gitea_repo, repo, temp_dir): return # Create/update README.md - with open(file=f'{temp_dir.name}/README.md', mode="w", encoding="utf8") as readme_file: + with open(file=f'{temp_dir.name}/README.md', mode="w", encoding="utf-8") as readme_file: readme_file.write(f"# {pkg_info['name']}\n\n{spec_description}") repo.index.add(['README.md'])