Reset flag

benedikt-schesch · Oct 28, 2023 · ad0f095 · ad0f095
1 parent 6029c8b
commit ad0f095
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/python/variables.py b/src/python/variables.py
@@ -7,7 +7,7 @@
 RIGHT_BRANCH_NAME = BRANCH_BASE_NAME + "_RIGHT"
 
 CACHE_BACKOFF_TIME = 2 * 60  # 2 minutes, in seconds
-DELETE_WORKDIRS = False
+DELETE_WORKDIRS = True
 REPOS_PATH = Path("repos")
 WORKDIR_DIRECTORY = Path(
     ".workdir"