fix: No such file or directory: 'repo/entry.jar'
This commit is contained in:
parent
c148ea3d8e
commit
4f09ba2bff
|
@ -525,7 +525,7 @@ def update_servergitmirrors(servergitmirrors, repo_section):
|
|||
if not branch_name in repo.heads:
|
||||
repo.create_head(branch_name, initial_branch_ref)
|
||||
repo.head.reference = repo.heads[branch_name]
|
||||
|
||||
|
||||
# test
|
||||
print(repo.git.status())
|
||||
|
||||
|
@ -546,7 +546,7 @@ def update_servergitmirrors(servergitmirrors, repo_section):
|
|||
print(glob.glob('.' + '/**/*', recursive=True))
|
||||
|
||||
logging.debug('Adding index files to git mirror')
|
||||
repo.index.add(_get_index_file_paths(repo_section))
|
||||
repo.index.add(_get_index_file_paths(os.path.join('fdroid', repo_section)))
|
||||
else:
|
||||
# sadly index.add don't allow the --all parameter
|
||||
logging.debug('Adding all files to git mirror')
|
||||
|
|
Loading…
Reference in New Issue