From 6e80aef875d6b4debb550da2592b33f69847ec43 Mon Sep 17 00:00:00 2001
From: Francisco Diaz <francisco.d@47deg.com>
Date: Mon, 3 Jul 2023 14:18:04 +0200
Subject: [PATCH] Move the EnhancedDocs project id to secrets (#194)

Co-authored-by: Simon Vergauwen <nomisRev@users.noreply.github.com>
---
 .github/workflows/gh-pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 07a91eda..746c7077 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -52,4 +52,4 @@ jobs:
           api-key: ${{ secrets.ENHANCEDOCS_API_KEY }}
 
       - name: Update Docs
-        run: enhancedocs alpha sources web --project 6442ad83351c12aba70adc49 https://arrow-kt.io
+        run: enhancedocs alpha sources web --project ${{ secrets.ENHANCEDOCS_PROJECT_ID }} https://arrow-kt.io