mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-11-04 22:40:29 +03:00
deploy: github/gitlab use bare git repos, only size the .git/ dir
needs test: generate giant APKs by including AndroidManifest.xml and and large file from /dev/urandom, then sign it. Then add those to the git repo.
This commit is contained in:
parent
098bce2134
commit
f2b48575e6
1 changed files with 5 additions and 2 deletions
|
|
@ -352,10 +352,13 @@ def update_servergitmirrors(servergitmirrors, repo_section):
|
|||
git_repodir = os.path.join(git_mirror_path, 'fdroid', repo_section)
|
||||
if not os.path.isdir(git_repodir):
|
||||
os.makedirs(git_repodir)
|
||||
if os.path.isdir(dotgit) and _get_size(git_mirror_path) > 1000000000:
|
||||
# github/gitlab use bare git repos, so only count the .git folder
|
||||
# test: generate giant APKs by including AndroidManifest.xml and and large
|
||||
# file from /dev/urandom, then sign it. Then add those to the git repo.
|
||||
if os.path.isdir(dotgit) and _get_size(dotgit) > 1000000000:
|
||||
logging.warning('Deleting git-mirror history, repo is too big (1 gig max)')
|
||||
shutil.rmtree(dotgit)
|
||||
if options.no_keep_git_mirror_archive and _get_size(git_mirror_path) > 1000000000:
|
||||
if options.no_keep_git_mirror_archive and _get_size(dotgit) > 1000000000:
|
||||
logging.warning('Deleting archive, repo is too big (1 gig max)')
|
||||
archive_path = os.path.join(git_mirror_path, 'fdroid', 'archive')
|
||||
shutil.rmtree(archive_path, ignore_errors=True)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue