mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-15 23:42:37 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Sync all status files

Browse source
This commit is contained in:
Jochen Sprickerhof 2022-09-29 19:41:12 +02:00
parent 244273e58e
commit 96f8284a50
No known key found for this signature in database
GPG key ID: 5BFFDCC258E69433
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/common.py
View file

@ -912,7 +912,7 @@ def write_status_json(output, pretty=False, name=None):
json.dump(output, fp, sort_keys=True, cls=Encoder, indent=2) json.dump(output, fp, sort_keys=True, cls=Encoder, indent=2)
else: else:
json.dump(output, fp, sort_keys=True, cls=Encoder, separators=(',', ':')) json.dump(output, fp, sort_keys=True, cls=Encoder, separators=(',', ':'))
rsync_status_file_to_repo(path, repo_subdir='status') rsync_status_file_to_repo(path, repo_subdir='status')
def get_head_commit_id(git_repo): def get_head_commit_id(git_repo):