From 7007410afb6745a8aed8f906b01de682704c90d3 Mon Sep 17 00:00:00 2001
From: Fini Jastrow <ulf.fini.jastrow@desy.de>
Date: Thu, 2 Feb 2023 07:52:14 +0100
Subject: [PATCH] Publish contributors after allcontributors

[why]
After adding a contributor with allcontributors the website is not
updated.

[how]
Obviously there is a setting if a dependant workflow should be started.
Set that value to 'true'.

Also fix commented-out section of workflow triggers for 'release', that
should not be triggered by allcontributors, when that is commented-in
again (if ever).

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
---
 .all-contributorsrc           | 2 +-
 .github/workflows/release.yml | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.all-contributorsrc b/.all-contributorsrc
index 45ccbceb0..d145c40b6 100644
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -1179,7 +1179,7 @@
   ],
   "repoType": "github",
   "repoHost": "https://github.com",
-  "skipCi": true,
+  "skipCi": false,
   "contributorsPerLine": 7,
   "commitConvention": "angular"
 }
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 10d0dd9c2..36b636796 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -10,6 +10,7 @@ on:
   #     - 'images/**'
   #     - '**.md'
   #     - '.all-contributorsrc'
+  #     - 'CONTRIBUTORS.md'
   #     - 'chocolatey/**'
   #     - 'bin/scripts/lib/**'
   #     - 'Dockerfile'