File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1919 # diverged. We're fetching everything here, as we don't know how many
2020 # commits back that point is.
2121 fetch-depth : 0
22+ allow-unsafe-pr-checkout : true # needed for pull_request_target
2223
23- - name : Run refactoring
24+ - name : Run refactoring
2425 id : run_refactoring
2526 env :
2627 ALIBUILD_GITHUB_TOKEN : ${{secrets.ALIBUILD_GITHUB_TOKEN}}
6869 destination_branch : ' ${{ github.event.pull_request.head.label }}'
6970 github_token : ${{ secrets.ALIBUILD_GITHUB_TOKEN }}
7071 pr_title : " Please consider the refactoring changes to AliceO2Group/AliceO2#${{ github.event.pull_request.number }}"
71- pr_body : |
72+ pr_body : |
7273 AliceO2Group/AliceO2#${{ github.event.pull_request.number }}" cannot be merged as is.
7374 You should either modify your code according to what is done in this PR, or directly merge this PR in yours.
7475 The rationale for this change is:
You can’t perform that action at this time.
0 commit comments