From dfbb18617f89c478917c02027ba7fbe8d9aea6a7 Mon Sep 17 00:00:00 2001 From: JP Hastings-Spital Date: Tue, 16 Jul 2024 22:31:43 +0100 Subject: [PATCH] Remove unnecessary rm --- tools/redirects/update-shortlinks.bash | 3 --- 1 file changed, 3 deletions(-) diff --git a/tools/redirects/update-shortlinks.bash b/tools/redirects/update-shortlinks.bash index 6447a845..12658148 100755 --- a/tools/redirects/update-shortlinks.bash +++ b/tools/redirects/update-shortlinks.bash @@ -55,7 +55,4 @@ git add -A git commit -m "Update blog shortlinks" git push -q -# Clean up -rm -r ${workdir} - echo "All files cleaned up; update complete!"