chore: add dir-demo-bot

Signed-off-by: Tagscherer Ádám <adam.tagscherer@gmail.com>

Author: adamtagscherer

.github/workflows/demo-dir.yaml

@@ -44,33 +44,33 @@ jobs:
         with:
           record_paths: e2e/shared/testdata/record_100.json
           server_addr: ${{ inputs.server_addr }}
-          github_token: ${{ secrets.DIRECTORY_MCP_BOT_PAT }}
+          github_token: ${{ secrets.DIR_DEMO_WORKFLOW_PAT }}
 
       - name: Sign record (OIDC)
         uses: ./.github/actions/sign-record
         with:
           cids: ${{ steps.push.outputs.cids }}
           oidc_client_id: https://github.com/${{ github.repository }}/.github/workflows/demo-dir.yaml@${{ github.ref }}
           server_addr: ${{ inputs.server_addr }}
-          github_token: ${{ secrets.DIRECTORY_MCP_BOT_PAT }}
+          github_token: ${{ secrets.DIR_DEMO_WORKFLOW_PAT }}
 
       - name: Publish record
         uses: ./.github/actions/publish-record
         with:
           cids: ${{ steps.push.outputs.cids }}
           server_addr: ${{ inputs.server_addr }}
-          github_token: ${{ secrets.DIRECTORY_MCP_BOT_PAT }}
+          github_token: ${{ secrets.DIR_DEMO_WORKFLOW_PAT }}
 
       - name: Search for record
         env:
           SERVER_ADDR: ${{ inputs.server_addr }}
-          GITHUB_TOKEN: ${{ secrets.DIRECTORY_MCP_BOT_PAT }}
+          GITHUB_TOKEN: ${{ secrets.DIR_DEMO_WORKFLOW_PAT }}
         run: dirctl search --name "burger_seller_agent" --server-addr="$SERVER_ADDR" --github-token="$GITHUB_TOKEN"
 
       - name: Verify record
         env:
           SERVER_ADDR: ${{ inputs.server_addr }}
-          GITHUB_TOKEN: ${{ secrets.DIRECTORY_MCP_BOT_PAT }}
+          GITHUB_TOKEN: ${{ secrets.DIR_DEMO_WORKFLOW_PAT }}
         run: |
           CID=$(echo '${{ steps.push.outputs.cids }}' | jq -r '.[]')
           dirctl verify "$CID" --server-addr="$SERVER_ADDR" --github-token="$GITHUB_TOKEN"