From 292e67d607c5aac041d1818938daa478b1d4d00a Mon Sep 17 00:00:00 2001
From: Douglas Raillard <douglas.raillard@arm.com>
Date: Thu, 8 Aug 2024 10:56:27 +0100
Subject: [PATCH] .github/workflows/mirror.yml: Add random wait

Wait a random amount of time to reduce load on git server at precise
timestamps.
---
 .github/workflows/mirror.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
index 7c1300899..2404cd82b 100644
--- a/.github/workflows/mirror.yml
+++ b/.github/workflows/mirror.yml
@@ -22,6 +22,12 @@ jobs:
 
     steps:
 
+      # Wait a random amount of time to avoid overloading git servers by
+      # running at precise timestamps, which quite a lot of people probably do.
+      - name: Random wait
+        run: |
+          sleep $((RANDOM % 600))
+
       # Checks out a copy of your repository on the virtual machine
       - uses: actions/checkout@v3
         with:
-- 
GitLab