rename --dry to --no-git-checks

scripts/run_fuzzer.py

@@ -13,7 +13,7 @@
 db = None
 shell = None
 perform_checks = True
-dry = False
+no-git-checks = False
 max_queries = 1000
 verification = False
 for param in sys.argv:
@@ -39,8 +39,8 @@
         seed = int(param.replace('--seed=', ''))
     elif param.startswith('--max_queries='):
         max_queries = int(param.replace('--max_queries=', ''))
-    elif param.startswith('--dry'):
-        dry = param.replace('--dry=', '').lower() == 'true'
+    elif param.startswith('--no-git-checks'):
+        no-git-checks = param.replace('--no-git-checks=', '').lower() == 'true'
 
 if fuzzer is None:
     print("Unrecognized fuzzer to run, expected e.g. --sqlsmith or --duckfuzz")
@@ -103,7 +103,7 @@ def run_shell_command(cmd):
 
 # first get a list of all github issues, and check if we can still reproduce them
 
-if dry:
+if no-git-checks:
     current_errors = []
 else:
     current_errors = fuzzer_helper.extract_github_issues(shell, perform_checks)
@@ -212,5 +212,5 @@ def run_shell_command(cmd):
 print(f"{error_msg}")
 print(f"================MARKER====================")
 
-if not dry:
+if not no-git-checks:
     fuzzer_helper.file_issue(cmd, error_msg, fuzzer_name, seed, git_hash)