File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -57,14 +57,14 @@ jobs:
5757 echo "Opening a PR to your branch with the fixes"
5858 git commit -m "Please consider the following formatting changes" -a
5959 git show | cat
60- git push --set-upstream origin HEAD:refs/heads/alibot-cleanup-${{ github.event.pull_request.number }} -f
60+ git push --set-upstream https://alibuild:${ALIBUILD_GITHUB_TOKEN}@github.com/AliceO2Group/AliceO2.git HEAD:refs/heads/alibot-cleanup-${{ github.event.pull_request.number }} -f
6161 echo ::set-output name=clean::false
6262 fi
6363
6464 - name : pull-request
6565 uses : alisw/pull-request@master
6666 with :
67- source_branch : ' AliceO2Group :alibot-cleanup-${{ github.event.pull_request.number }}'
67+ source_branch : ' alibuild :alibot-cleanup-${{ github.event.pull_request.number }}'
6868 destination_branch : ' ${{ github.event.pull_request.user.login }}:${{ github.event.pull_request.head.ref }}'
6969 github_token : ${{ secrets.GITHUB_TOKEN }}
7070 pr_title : " Please consider the following formatting changes to #${{ github.event.pull_request.number }}"
You can’t perform that action at this time.
0 commit comments