Unknown reference

2021-01-29 14:34:18 +01:00 · 2021-01-29 14:34:18 +01:00 · 30a6389514
commit 30a6389514
parent 7e0d5c15e5
1 changed files with 1 additions and 0 deletions
--- a/setup_main_tex_file.py
+++ b/setup_main_tex_file.py
@ -149,6 +149,7 @@ def git_integration(func):
                    master_head = commit_into_master(master_add_paths, repo, comment)
                else:
                    master_head = repo.revparse_single('refs/heads/master')
+            branch_ref = repo.references[f'refs/heads/{branch_name}']
            if master_head not in repo.walk(branch_ref.target):
                merge_master_into_branch(master_head, branch_name, repo)