Allow committing from PRs

Author: sebromero

.github/workflows/render-docs.yml

@@ -50,6 +50,13 @@ jobs:
       contents: write
     steps:
     - uses: actions/checkout@v4
+      if: github.event_name != 'pull_request'
+    - uses: actions/checkout@v4
+      if: github.event_name == 'pull_request'
+      with:
+        repository: ${{ github.event.pull_request.head.repo.full_name }}
+        ref: ${{ github.event.pull_request.head.ref }}
+
     - name: Install doxygen dependencies
       shell: bash
       run: |
@@ -96,7 +103,7 @@ jobs:
           ${{ inputs.debug == true && '--debug ' || '' }}
 
     - name: Commit Docs
-      if: inputs.commit
+      if: inputs.commit == true
       uses: EndBug/add-and-commit@v9
       with:
         add: "${{ inputs.target-path }}"