fixup! feat(docs): add workflow to generate documentation on PR merge

Author: rvagg

.github/workflows/check-and-gen.yml

@@ -18,7 +18,7 @@ concurrency:
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 permissions:
-  contents: read
+  contents: write
 
 jobs:
   check-gen:
@@ -110,20 +110,18 @@ jobs:
             git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
             git add .
             git commit -m "docs: update API documentation via docsgen-cli"
-            BRANCH_NAME=$(echo $GITHUB_REF | sed 's/refs\/heads\///')
-            git push origin HEAD:$BRANCH_NAME
+            BRANCH_NAME=$(echo $GITHUB_HEAD_REF | sed 's/refs\/heads\///')
+            git push https://x-access-token:${GITHUB_TOKEN}@github.com/${{ github.actor }}/lotus.git HEAD:$BRANCH_NAME
 
       - name: Comment on the pull request
         if: steps.check_changes.outputs.changes == 'true'
         uses: actions/github-script@v6
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           script: |
-            const { context } = require('@actions/github');
-            const prNumber = context.payload.pull_request.number;
             const comment = 'CLI documentation has been generated and pushed to the branch.';
             await github.issues.createComment({
               ...context.repo,
-              issue_number: prNumber,
+              issue_number: context.payload.pull_request.number,
               body: comment
             });