From 278bd87d7c6c2be36cefa20e16c4f24badfa0df2 Mon Sep 17 00:00:00 2001
From: Gil Forsyth <gforsyth@users.noreply.github.com>
Date: Tue, 25 Jan 2022 21:22:47 -0500
Subject: [PATCH] chore: fix generated token for docs push (#4658)

---
 .github/workflows/docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 1a419da35..49d1e52b0 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -29,11 +29,12 @@ jobs:
       - name: Build Docs
         run: cd docs && make html
       - uses: tibdex/github-app-token@v1
-        if: github.event_name != 'pull_request'
+        if: ${{ github.event_name != 'pull_request' }}
         id: generate-token
         with:
           app_id: ${{ secrets.APP_ID }}
           private_key: ${{ secrets.APP_PRIVATE_KEY }}
+          repository: xonsh/xonsh-docs
       - name: Deploy to dev if not tagged
         if: github.event_name != 'pull_request' && !startsWith(github.ref, 'refs/tags/v')
         uses: peaceiris/actions-gh-pages@v3