From db9c77efe14898880ebc903190d600b21afabe64 Mon Sep 17 00:00:00 2001 From: Richard Lau Date: Fri, 27 Feb 2026 13:19:54 +0000 Subject: [PATCH] tools: fix permissions for merve update script Add execute permission for `tools/dep_updaters/update-merve.sh` so that the "Tools and deps update" workflow can run it. --- tools/dep_updaters/update-merve.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/dep_updaters/update-merve.sh diff --git a/tools/dep_updaters/update-merve.sh b/tools/dep_updaters/update-merve.sh old mode 100644 new mode 100755