From f6ea4ebf72a36768c81451a0e3ed18fc5a18a6ec Mon Sep 17 00:00:00 2001
From: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
Date: Wed, 10 Jul 2024 11:53:04 -0400
Subject: [PATCH] mirror.yaml: mirror branch delete actions to eicweb (#33)
Currently, one has to manually remove branches on both repositories.
---
.github/workflows/mirror.yaml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/.github/workflows/mirror.yaml b/.github/workflows/mirror.yaml
index 2aa42798..17fdc2e7 100644
--- a/.github/workflows/mirror.yaml
+++ b/.github/workflows/mirror.yaml
@@ -1,6 +1,7 @@
name: Mirror and Trigger EICweb
on:
+ delete:
push:
workflow_dispatch:
@@ -29,6 +30,7 @@ jobs:
ciskip: true
- name: Trigger EICweb
uses: eic/trigger-gitlab-ci@v3
+ if: ${{ github.event_name != 'delete' }}
with:
url: https://eicweb.phy.anl.gov
project_id: 399
--
GitLab