From 8d4b9377b2ac5a41bb6cd2eacc416fc3b43d737d Mon Sep 17 00:00:00 2001 From: Thomas Roeblitz Date: Tue, 3 Oct 2023 14:28:24 +0200 Subject: [PATCH] moved cleanup_pr.sh to scripts dir --- cleanup_pr.sh => scripts/cleanup_pr.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename cleanup_pr.sh => scripts/cleanup_pr.sh (100%) diff --git a/cleanup_pr.sh b/scripts/cleanup_pr.sh similarity index 100% rename from cleanup_pr.sh rename to scripts/cleanup_pr.sh