From 7d620f04f7123ddf42fc35c463c9913165278dd9 Mon Sep 17 00:00:00 2001
From: David Stansby <dstansby@gmail.com>
Date: Thu, 15 Jun 2023 14:01:39 +0100
Subject: [PATCH] Only publish docs on main

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index dda78498..e7e6a297 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -40,6 +40,7 @@ jobs:
     name: Upload docs to GitHub pages
     runs-on: ubuntu-latest
     needs: build-docs
+    if: github.event_name == 'push' && github.ref_name == 'main'
     steps:
     - uses: actions/checkout@v3
     - uses: actions/download-artifact@v3