From 096c00834500434054e36d58454982a98a47c81f Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Tue, 27 Jul 2021 00:06:19 +0200
Subject: [PATCH] restore github keys in the deploy process (#8244)

---
 .github/workflows/release-to-publish.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/release-to-publish.yml b/.github/workflows/release-to-publish.yml
index cf289f047..8c815e4fd 100644
--- a/.github/workflows/release-to-publish.yml
+++ b/.github/workflows/release-to-publish.yml
@@ -41,5 +41,10 @@ jobs:
         submodules: false
         fetch-depth: 0
     - name: Deploy updated JSON
+      env:
+        TRAVIS_BUILD_DIR: ${{ github.workspace }}
+        BUILD_TYPE: package
+        CI_GITHUB_API_KEY: ${{ secrets.GITHUB_TOKEN }}
+        GHCI_DEPLOY_KEY: ${{ secrets.GHCI_DEPLOY_KEY }}
       run: |
            bash ./package/deploy_package_index.sh