From 5e587e6d981ed7e7077d47289eadfa327c3d8147 Mon Sep 17 00:00:00 2001 From: Enrico Ludwig Date: Sun, 14 Jul 2024 13:40:07 +0200 Subject: [PATCH] Replaced ambiguous unicode character --- git/git_rewrite_author.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/git/git_rewrite_author.sh b/git/git_rewrite_author.sh index e844079..fda8734 100755 --- a/git/git_rewrite_author.sh +++ b/git/git_rewrite_author.sh @@ -42,7 +42,7 @@ if [[ ! -d "$REPO_DIR/.git" ]]; then error "This is not a git repository: ${REPO_DIR}" fi -# Navigate to the repository directory ensuring it’s a safe path +# Navigate to the repository directory ensuring it's a safe path cd -- "$REPO_DIR" || error "Failed to navigate to directory: ${REPO_DIR}" # Ensure git-filter-repo is installed