WIP6

fingolfin · Oct 23, 2023 · ca6f4e5 · ca6f4e5
1 parent 4af8450
commit ca6f4e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/releases/utils.py b/dev/releases/utils.py
@@ -141,7 +141,7 @@ def run_with_log(args, name, msg = None):
             error(msg+" failed. See "+name+".log.")
 
 def is_possible_gap_release_tag(tag):
-    return tag == "nightly" || re.fullmatch( r"v[1-9]+\.[0-9]+\.[0-9]+", tag) != None
+    return tag == "nightly" or re.fullmatch( r"v[1-9]+\.[0-9]+\.[0-9]+", tag) != None
 
 def verify_is_possible_gap_release_tag(tag):
     if not is_possible_gap_release_tag(tag):