From 2e89299ecae084115107f0e03403c33b31bd23f3 Mon Sep 17 00:00:00 2001 From: j Date: Sat, 30 May 2020 14:35:09 +0200 Subject: [PATCH] fix update --- update.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/update.py b/update.py index bfa0a0194..566d23f9a 100755 --- a/update.py +++ b/update.py @@ -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')