mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-09-13 22:42:29 +03:00
Merge branch 'nightly-deploy-fixes' into 'master'
fixes for nightly and deploy, while debugging fdroidclient-nightly See merge request fdroid/fdroidserver!1672
This commit is contained in:
commit
a3cd45c3fb
1 changed files with 3 additions and 1 deletions
|
@ -396,9 +396,11 @@ def main():
|
||||||
git_mirror_repodir = os.path.join(git_mirror_fdroiddir, 'repo')
|
git_mirror_repodir = os.path.join(git_mirror_fdroiddir, 'repo')
|
||||||
git_mirror_metadatadir = os.path.join(git_mirror_fdroiddir, 'metadata')
|
git_mirror_metadatadir = os.path.join(git_mirror_fdroiddir, 'metadata')
|
||||||
if not os.path.isdir(git_mirror_repodir):
|
if not os.path.isdir(git_mirror_repodir):
|
||||||
clone_git_repo(clone_url, git_mirror_repodir)
|
clone_git_repo(clone_url, git_mirror_path)
|
||||||
if not os.path.isdir(git_mirror_repodir):
|
if not os.path.isdir(git_mirror_repodir):
|
||||||
os.makedirs(git_mirror_repodir, mode=0o755)
|
os.makedirs(git_mirror_repodir, mode=0o755)
|
||||||
|
if os.path.exists('LICENSE'):
|
||||||
|
shutil.copy2('LICENSE', git_mirror_path)
|
||||||
|
|
||||||
mirror_git_repo = git.Repo.init(git_mirror_path)
|
mirror_git_repo = git.Repo.init(git_mirror_path)
|
||||||
writer = mirror_git_repo.config_writer()
|
writer = mirror_git_repo.config_writer()
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue