From ace07c2db0e1e67a11fe214791e946baf4252fa4 Mon Sep 17 00:00:00 2001
From: Pedro Santos Neves <10762799+Neves-P@users.noreply.github.com>
Date: Thu, 29 Feb 2024 09:20:16 +0100
Subject: [PATCH] Rename build.sh to build_eessi.sh

---
 bot/{build.sh => build_eessi.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename bot/{build.sh => build_eessi.sh} (100%)

diff --git a/bot/build.sh b/bot/build_eessi.sh
similarity index 100%
rename from bot/build.sh
rename to bot/build_eessi.sh