From fdc2ed99c72e1251b46ac38a617e4c9bc0f9205b Mon Sep 17 00:00:00 2001
From: Jakob Ackermann <jakob.ackermann@overleaf.com>
Date: Wed, 17 Sep 2025 12:57:58 +0200
Subject: [PATCH] [web] fix retries in Jenkins (#28542)

GitOrigin-RevId: b808200371b972a0fd5206993463c6a6d8c795e9
---
 services/web/bin/copy_external_pages | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/services/web/bin/copy_external_pages b/services/web/bin/copy_external_pages
index c025379e97..db94156481 100755
--- a/services/web/bin/copy_external_pages
+++ b/services/web/bin/copy_external_pages
@@ -2,5 +2,5 @@
 set -e
 
 # Branding
-mv app/views/external/robots.txt public/robots.txt
-mv app/views/external/googlebdb0f8f7f4a17241.html public/googlebdb0f8f7f4a17241.html
+cp app/views/external/robots.txt public/robots.txt
+cp app/views/external/googlebdb0f8f7f4a17241.html public/googlebdb0f8f7f4a17241.html