From b9cd9df83ca86233b2615b725e37ba0bed5bf48d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Pedro=20Sousa?= Date: Fri, 3 Nov 2023 10:31:19 +0000 Subject: [PATCH] debugging --- .github/workflows/publish-docs.yml | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml index 5e14b8c5677..4beafacb539 100644 --- a/.github/workflows/publish-docs.yml +++ b/.github/workflows/publish-docs.yml @@ -57,17 +57,17 @@ jobs: - name: Push changes to new branch run: git push origin new-docs-version-${{ github.event.inputs.tag }} - - name: Create Pull Request - uses: peter-evans/create-pull-request@v4 - with: - title: 'New Docs Version for ${{ github.event.inputs.tag }}' - commit-message: "chore(docs): cut new docs version for tag ${{ github.event.inputs.tag }}" - branch: new-docs-version-${{ github.event.inputs.tag }} - body: | - Updates documentation to new version for tag ${{ github.event.inputs.tag }}. - base: master # or main or whichever branch you want to merge to - labels: documentation - token: ${{ secrets.GITHUB_TOKEN }} + # - name: Create Pull Request + # uses: peter-evans/create-pull-request@v4 + # with: + # title: 'New Docs Version for ${{ github.event.inputs.tag }}' + # commit-message: "chore(docs): cut new docs version for tag ${{ github.event.inputs.tag }}" + # branch: new-docs-version-${{ github.event.inputs.tag }} + # body: | + # Updates documentation to new version for tag ${{ github.event.inputs.tag }}. + # base: master # or main or whichever branch you want to merge to + # labels: documentation + # token: ${{ secrets.GITHUB_TOKEN }} - name: Remove pre-releases