Fix unraised exception

mpenning · Oct 11, 2023 · 11a6087 · 11a6087
1 parent db735f5
commit 11a6087
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev_tools/git_helper.py b/dev_tools/git_helper.py
@@ -603,7 +603,7 @@ def git_tag_and_push(args):
         stdout, stderr = run_cmd("git push --force-with-lease origin +main")
 
     else:
-        ValueError("Found an invalid combination of CLI options")
+        raise ValueError("Found an invalid combination of CLI options")
 
 def main(args):