From be1a59b7f32f3cfe3218799245728370e2345aca Mon Sep 17 00:00:00 2001 From: Kevin Suo Date: Wed, 26 Feb 2020 16:49:38 +0800 Subject: Do not add useless tags We already have source hash in the summary line --- bibisect_build.py | 14 +++++++------- 1 file 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: -- cgit