From 7f9e90ac94063b8bfd0b384c6728b5d30e2d6c75 Mon Sep 17 00:00:00 2001 From: Dimitri Gnidash Date: Tue, 18 Jun 2024 14:56:08 -0400 Subject: [PATCH] #8534: remove dimitri from the pipeline --- .github/workflows/docs-deployment.yaml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/docs-deployment.yaml b/.github/workflows/docs-deployment.yaml index 2e4ad4f796ce..d5524f41f8aa 100644 --- 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