From d491395c3ecd7389f0e83d1fb87c6bfb4ac7a46c Mon Sep 17 00:00:00 2001
From: Jorge Manrubia <jorge@hey.com>
Date: Wed, 5 Nov 2025 14:17:53 +0100
Subject: [PATCH] Rename script I did not mean to commit

---
 rename.sh | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100755 rename.sh

diff --git a/rename.sh b/rename.sh
deleted file mode 100755
index cae1557a5..000000000
--- a/rename.sh
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/env bash
-# rename_paths.sh
-# Renames directories and files containing "collection" → "board"
-# Excludes db/migrate and prevents nested board/board paths.
-
-set -euo pipefail
-
-ROOT_DIR="/home/jorge/Work/basecamp/fizzy"
-EXCLUDE_DIR="$ROOT_DIR/db/migrate"
-
-# 1. Rename directories first (deepest first)
-find "$ROOT_DIR" -type d -name '*collection*' \
-  ! -path "$EXCLUDE_DIR/*" | sort -r | while IFS= read -r dir; do
-    new_dir="${dir//collection/board}"
-    if [[ "$new_dir" != *"board/board"* ]]; then
-      echo "Renaming directory: $dir → $new_dir"
-      mv "$dir" "$new_dir"
-    fi
-done
-
-# 2. Rename files (after directories exist)
-find "$ROOT_DIR" -type f -name '*collection*' \
-  ! -path "$EXCLUDE_DIR/*" | while IFS= read -r file; do
-    new_name="${file//collection/board}"
-    if [[ "$new_name" != *"board/board"* ]]; then
-      echo "Renaming file: $file → $new_name"
-      mv "$file" "$new_name"
-    fi
-done
-
-echo "✅ File and directory renaming complete."