From 968e1fc284a45e55f48e054f6eea201fcedae33c Mon Sep 17 00:00:00 2001
From: nerdalytics <97166791+nerdalytics@users.noreply.github.com>
Date: Sun, 20 Sep 2026 16:01:48 +0200
Subject: [PATCH] fix(scripts): make fetch-profile-repos.sh executable

The script has a bash shebang and 27 call sites across the docs and the
cold-profile tests invoke it as ./scripts/fetch-profile-repos.sh, but git has
carried it at mode 100644 since it was added in d8cc106. Every other script in
scripts/ is 100755, so the documented command exits with permission denied.

Signed-off-by: nerdalytics <97166791+nerdalytics@users.noreply.github.com>
---
 scripts/fetch-profile-repos.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 scripts/fetch-profile-repos.sh

diff --git a/scripts/fetch-profile-repos.sh b/scripts/fetch-profile-repos.sh
old mode 100644
new mode 100755