From 258f03d6d05ca299a566f55c142219b4716d7a8e Mon Sep 17 00:00:00 2001
From: Douglas Raillard <douglas.raillard@arm.com>
Date: Fri, 9 Feb 2024 19:21:15 +0000
Subject: [PATCH] Revert ".github: Mirror to GitHub when something is pushed to
 GitLab"

This reverts commit 2411e72a7a8ca21e71c85806ef058070d2ee3bb7.
---
 .github/workflows/gitlab-mirror.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/gitlab-mirror.yml b/.github/workflows/gitlab-mirror.yml
index ab774f5ba..80dd8b960 100644
--- a/.github/workflows/gitlab-mirror.yml
+++ b/.github/workflows/gitlab-mirror.yml
@@ -1,13 +1,13 @@
 name: gitlab-mirror
 
 on:
+  schedule:
+    # Runs every hour, on the hour
+    - cron:  '0 * * * *'
+
   # To be able to manually trigger the job from GitHub UI
   workflow_dispatch:
 
-  # Allows external webhook trigger so GitLab can ping GitHub when anything is
-  # pushed.
-  repository_dispatch:
-
 permissions:
   # Necessary to be able to push to the repo
   contents: write
-- 
GitLab