From 09edd6657f0e9c6d47b31427ccae113d46a3764d Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Fri, 28 Apr 2023 10:29:31 +0200
Subject: [PATCH] Limit the `publish_website.yml` work-flow to only the
 `master` branch (issue 16369)

This is a tentative patch, based on https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#using-filters
---
 .github/workflows/publish_website.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish_website.yml b/.github/workflows/publish_website.yml
index 38306c2e6..ab7d8531e 100644
--- a/.github/workflows/publish_website.yml
+++ b/.github/workflows/publish_website.yml
@@ -1,5 +1,8 @@
 name: Publish website
-on: [push]
+on:
+  push:
+    branches:
+      - master
 permissions:
   contents: read