From fda86cc102b5c3b9a329abe3f9f6f8825c4949cd Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Mon, 18 Sep 2023 14:12:52 +0200
Subject: [PATCH] using a different id might help

---
 .github/workflows/website-builder.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/website-builder.yml b/.github/workflows/website-builder.yml
index fdaefae4f..a28f9dfcb 100644
--- a/.github/workflows/website-builder.yml
+++ b/.github/workflows/website-builder.yml
@@ -50,8 +50,8 @@ jobs:
         uses: algolia/algoliasearch-crawler-github-actions@v1.0.10
         id: algolia_crawler
         with: # mandatory parameters
-          crawler-user-id: ${{ secrets.CRAWLER_USER_ID }}
+          crawler-user-id: ${{ secrets.CRAWLER_ID }}
           crawler-api-key: ${{ secrets.CRAWLER_API_KEY }}
           algolia-app-id: ${{ secrets.ALGOLIA_APP_ID }}
           algolia-api-key: ${{ secrets.ALGOLIA_API_KEY }}
-          site-url: 'https://www.rascal-mpl.org'
\ No newline at end of file
+          site-url: 'https://www.rascal-mpl.org'