File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change 3636 exit 1
3737 fi
3838
39+ # Fetch the PR branch from the remote (to be able to push changes - avoid detached HEAD)
40+ - name : Fetch PR branch
41+ run : |
42+ git fetch origin ${{ github.event.pull_request.head.ref }}
43+ git checkout ${{ github.event.pull_request.head.ref }}
44+
3945 # Generate new filename
4046 - name : Generate new filename
4147 id : generate-name
5965 printf -v next_file_name "vulnerabilities/AIKIDO-%s-%05d.json" "$current_year" "$next_number"
6066 echo "file_name=$next_file_name" >> $GITHUB_ENV
6167
62- # Fetch the PR branch from the remote (to be able to push changes - avoid detached HEAD)
63- - name : Fetch PR branch
64- run : |
65- git fetch origin ${{ github.event.pull_request.head.ref }}
66- git checkout ${{ github.event.pull_request.head.ref }}
67-
6868 # Update last_modified and published fields in input/new.json
6969 - name : Update JSON metadata
7070 run : |
You can’t perform that action at this time.
0 commit comments