⚙️ add crawler-name parameter to docsearch workflow job

Author: colinwilson

.github/workflows/deploy-production.yaml

@@ -98,6 +98,7 @@ jobs:
           id: docsearch-crawl
           with:
             crawler-user-id: ${{ secrets.CRAWLER_USER_ID }}
+            crawler-name: 'lotusdev'
             crawler-api-key: ${{ secrets.CRAWLER_API_KEY }}
             algolia-app-id: ${{ secrets.ALGOLIA_APP_ID }}
             algolia-api-key: ${{ secrets.ALGOLIA_API_KEY }}