fix update

This commit is contained in:
j 2020-05-30 14:35:09 +02:00
parent 88f0a11612
commit 2e89299eca

View file

@ -316,14 +316,14 @@ if __name__ == "__main__":
if exists(path):
os.chdir(path)
current_branch = get_branch(path)
revno = get_version(path)
if repo == 'pandora':
pandora_old_revno = revno
current += revno
if current_branch != branch:
run('git', 'remote', 'set-branches', 'origin', '*')
run('git', 'fetch', 'origin')
run('git', 'checkout', branch)
revno = get_version(path)
current += revno
url = repos[repo]['url']
print('Checking', repo)
run('git', 'pull')