autodist-git: exclude *.deb from files pushed
This commit is contained in:
parent
5298802d65
commit
6f20135a8b
@ -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'])
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user