diff options
author | Kevin Suo <suokunlong@126.com> | 2020-02-26 16:49:38 +0800 |
---|---|---|
committer | Kevin Suo <suokunlong@126.com> | 2020-02-26 16:49:38 +0800 |
commit | be1a59b7f32f3cfe3218799245728370e2345aca (patch) | |
tree | b7ea4c7c6f72893239ab9a9827717c5a8f3f7c54 | |
parent | c005d669331cf22ffeaaa7805e9a39225ee2ffe1 (diff) |
Do not add useless tags
We already have source hash in the summary line
-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: |