File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4444 run : |
4545 git config --global user.email "radiuscoreteam@service.microsoft.com"
4646 git config --global user.name "Radius CI Bot"
47-
47+ gh auth login --with-token <<< "${{ secrets.GH_RAD_CI_BOT_PAT }}"
48+
4849 # Create a new branch from edge. This branch will be used to PR back into edge.
4950 - name : Create new branch
5051 run : |
5859 # branch is assumed to be the current release branch, but could be any branch.
5960 # If there are no changes, stop the workflow.
6061 - name : Upmerge docs
61- env :
62- GITHUB_TOKEN : ${{ secrets.GH_RAD_CI_BOT_PAT }}
6362 run : |
64- gh auth login --with-token $GITHUB_TOKEN
65-
6663 export SOURCE_BRANCH=$(basename ${{ github.ref }})
6764 echo "Upmerging docs from $SOURCE_BRANCH to edge"
6865 git fetch origin $SOURCE_BRANCH
8178 # Create a PR from the new branch to edge
8279 - name : Create pull request
8380 if : env.NO_CHANGES != 'true'
84- env :
85- GITHUB_TOKEN : ${{ secrets.GH_RAD_CI_BOT_PAT }}
8681 run : gh pr create --title "Upmerge to edge" --body "Upmerge to edge (kicked off by @${{ github.triggering_actor }})" --base edge --head $BRANCH_NAME
You can’t perform that action at this time.
0 commit comments