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

Author: rvagg

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

@@ -14,7 +14,7 @@ defaults:
     shell: bash
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
 
 permissions:
@@ -110,7 +110,7 @@ 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_HEAD_REF | sed 's/refs\/heads\///')
+            BRANCH_NAME=${GITHUB_HEAD_REF:-${GITHUB_REF#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
@@ -126,4 +126,4 @@ jobs:
               ...context.repo,
               issue_number: prNumber,
               body: comment
-            });
+            });