From eee2f12a74e488372b75ebe047aba55391a4ecc7 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Fri, 6 Mar 2026 23:52:27 +0100 Subject: [PATCH] Add migration of 'edit_global_memories' setting --- src/serena/config/serena_config.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/serena/config/serena_config.py b/src/serena/config/serena_config.py index 62d15a8c..f00915ef 100644 --- a/src/serena/config/serena_config.py +++ b/src/serena/config/serena_config.py @@ -748,6 +748,14 @@ class SerenaConfig(SharedConfig): instance.log_level = loaded_commented_yaml["gui_log_level"] del loaded_commented_yaml["gui_log_level"] + # migrate "edit_global_memories" + if "edit_global_memories" in loaded_commented_yaml: + num_migrations += 1 + edit_global_memories = loaded_commented_yaml["edit_global_memories"] + if not edit_global_memories: + instance.read_only_memory_patterns.append("global/.*") + del loaded_commented_yaml["edit_global_memories"] + # re-save the configuration file if any migrations were performed if num_migrations > 0: log.info("Legacy configuration was migrated; re-saving configuration file")