File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1717 fetch-depth : 0
1818
1919 - name : Merge new commits from main
20+ env :
21+ GH_ACTOR : ${{ github.actor }}
2022 run : |
21- git config --global user.name '${{ github.actor }} '
22- git config --global user.email '${{ github.actor }} @users.noreply.github.com'
23+ git config --global user.name '$GH_ACTOR '
24+ git config --global user.email '$GH_ACTOR @users.noreply.github.com'
2325 git merge -X theirs origin/main -m "Merge main into this branch"
2426
2527 - name : Rebuild the database
@@ -78,16 +80,20 @@ jobs:
7880 unzip -o /tmp/ext.zip -d ./extensions/${{ contains(github.event.issue.labels.*.name, '🔍 Reviewed extension') && 'reviewed' || 'community' }}
7981
8082 - name : Rebuild the database
83+ env :
84+ GH_ACTOR : ${{ github.actor }}
8185 run : |
8286 npm i
8387 echo 'BUILD_LOGS<<EOF' >> $GITHUB_ENV
8488 node scripts/generate-extensions-registry.js --disable-exit-code >> $GITHUB_ENV
8589 echo 'EOF' >> $GITHUB_ENV
8690
8791 - name : Setup git config
92+ env :
93+ GH_ACTOR : ${{ github.actor }}
8894 run : |
89- git config --global user.name '${{ github.actor }} '
90- git config --global user.email '${{ github.actor }} @users.noreply.github.com'
95+ git config --global user.name '$GH_ACTOR '
96+ git config --global user.email '$GH_ACTOR @users.noreply.github.com'
9197
9298 - name : Check for changed file
9399 id : git-diff
You can’t perform that action at this time.
0 commit comments