From 855178a6132515affb1c5acf06227590004241d6 Mon Sep 17 00:00:00 2001
From: Quentin Gliech <quenting@element.io>
Date: Fri, 27 Jan 2023 11:19:48 +0100
Subject: [PATCH] ci: deploy docs only on push to master

---
 .github/workflows/docs.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 483466135..9b9a36e37 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -35,6 +35,7 @@ jobs:
     name: Deploy the documentation on GitHub Pages
     runs-on: ubuntu-latest
     needs: build
+    if: github.ref == 'refs/heads/main'
 
     permissions:
       pages: write