From 340dc7f464ddfd3681aa21f4a2da6317bfdaa459 Mon Sep 17 00:00:00 2001 From: Akram Ben Aissi Date: Wed, 10 Sep 2025 13:01:54 +0200 Subject: [PATCH] fix: Make scripts/get_setup_env.py executable The script has a shebang but was not marked as executable, causing pre-commit to fail. Added executable permissions and updated git tracking. --- scripts/get_setup_env.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/get_setup_env.py diff --git a/scripts/get_setup_env.py b/scripts/get_setup_env.py old mode 100644 new mode 100755