From 3de20ae4853f596cc42a04edc86aafbe94050a20 Mon Sep 17 00:00:00 2001
From: Neves-P <p.m.santos.neves@rug.nl>
Date: Mon, 11 Mar 2024 14:20:13 +0100
Subject: [PATCH] Execute permissions on build_container_bot.sh

---
 bot/build_container_bot.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 bot/build_container_bot.sh

diff --git a/bot/build_container_bot.sh b/bot/build_container_bot.sh
old mode 100644
new mode 100755