From c22b8558e668fecf4627da724fb68b28496d1ef9 Mon Sep 17 00:00:00 2001 From: garciadeblas Date: Thu, 22 Jan 2026 14:52:08 +0100 Subject: [PATCH] Fix exec permission in devops-stages/stage-lint.sh Change-Id: Id3212b2e03014acf9bbe854b97ac6ff0c839a5f0 Signed-off-by: garciadeblas --- devops-stages/stage-lint.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 devops-stages/stage-lint.sh diff --git a/devops-stages/stage-lint.sh b/devops-stages/stage-lint.sh old mode 100644 new mode 100755 -- 2.25.1