ignore more files, fix switch branch

This commit is contained in:
j 2019-07-14 22:43:20 +01:00
commit de14061b68
2 changed files with 7 additions and 0 deletions

View file

@ -280,6 +280,8 @@ if __name__ == "__main__":
os.chdir(path)
current_branch = get_branch(path)
if current_branch != branch:
run('git', 'remote', 'set-branches', 'origin', '*')
run('git', 'fetch', 'origin')
run('git', 'checkout', branch)
revno = get_version(path)
if repo == 'pandora':