#8534: remove dimitri from the pipeline

tenstorrent · Jun 18, 2024 · 7f9e90a · 7f9e90a
1 parent 2c936df
commit 7f9e90a
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/docs-deployment.yaml b/.github/workflows/docs-deployment.yaml
@@ -66,8 +66,6 @@ jobs:
           GITHUB_USER=tenstorrent-github-bot
           git config --global user.email "tenstorrent-github-bot@tenstorrent.com"
           git config --global user.name "tenstorrent-github-bot"
-          git config --global user.email "dimitri@tenstorrent.com"
-          git config --global user.name "dimitri-tenstorrent"
           git clone https://${GITHUB_USER}:${TTBOT_DOCS_ACCESS}@github.com/tenstorrent/docs-test.git
           git remote set-url origin https://${GITHUB_USER}:${TTBOT_DOCS_ACCESS}@github.com/tenstorrent/docs-test.git
           git checkout main
@@ -92,8 +90,6 @@ jobs:
           GITHUB_USER=tenstorrent-github-bot
           git config --global user.email "tenstorrent-github-bot@tenstorrent.com"
           git config --global user.name "tenstorrent-github-bot"
-          git config --global user.email "dimitri@tenstorrent.com"
-          git config --global user.name "dimitri-tenstorrent"
           git clone https://${GITHUB_USER}:${TTBOT_DOCS_ACCESS}@github.com/tenstorrent/docs-test.git
           git remote set-url origin https://${GITHUB_USER}:${TTBOT_DOCS_ACCESS}@github.com/tenstorrent/docs-test.git
           git checkout main