diff options
-rwxr-xr-x | bibisect_build.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/bibisect_build.py b/bibisect_build.py index 5758cfb..a16fb29 100755 --- a/bibisect_build.py +++ b/bibisect_build.py @@ -302,13 +302,13 @@ if __name__ == "__main__": run_process(cmd) # Add tag - tag_name = f"source-hash-{commit_hash}" - cmd = f"git -C {repr(target)} tag {tag_name}" - try: - run_process(cmd) - except: - cmd = f"git -C {repr(target)} tag -d {tag_name}"; run_process(cmd) - cmd = f"git -C {repr(target)} tag {tag_name}"; run_process(cmd) + #tag_name = f"source-hash-{commit_hash}" + #cmd = f"git -C {repr(target)} tag {tag_name}" + #try: + # run_process(cmd) + #except: + # cmd = f"git -C {repr(target)} tag -d {tag_name}"; run_process(cmd) + # cmd = f"git -C {repr(target)} tag {tag_name}"; run_process(cmd) # push to bare repo if push_to_bare: |