From 16ba6cffdcf46303f7241bc6f399b851de04b406 Mon Sep 17 00:00:00 2001
From: Robbert van der Helm <mail@robbertvanderhelm.nl>
Date: Tue, 26 Apr 2022 20:20:14 +0200
Subject: [PATCH] Deploy the docs to a different repo

To avoid adding polluting the GitHub feed with a ton of noise when
watching this one.
---
 .github/workflows/docs.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index e4095fce..8eb2b725 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -77,3 +77,8 @@ jobs:
         with:
           branch: gh-pages
           folder: target/doc
+
+          # Having the gh-pages branch on this repository adds a whole bunch of
+          # noise to the GitHub feed if you follow this repo
+          repository-name: robbert-vdh/nih-plug-docs
+          ssh-key: ${{ secrets.DOCS_DEPLOY_KEY }}