debugging

noir-lang · Nov 3, 2023 · b9cd9df · b9cd9df · github-actions · Nov 3, 2023
1 parent ce27a72
commit b9cd9df
Showing 1 changed file with 11 additions and 11 deletions.
diff --git 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