File tree Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Original file line number Diff line number Diff line change 45
45
git remote add upstream https://github.com/github/codeql.git
46
46
git fetch upstream --tags --force
47
47
echo "::endgroup::"
48
-
49
48
echo "::group::Merge codeql-cli/latest"
50
49
set -x
51
50
git merge codeql-cli/latest
59
58
GITHUB_TOKEN : ${{ secrets.WORKFLOW_TOKEN }}
60
59
- name : Create or update PR
61
60
run : |
62
- gh pr create --repo microsoft/codeql --fill -B main -H sync-main-pr --title 'Sync Main' --body "This PR syncs the latest changes from \`codeql-cli/latest\` into \`main\`."
63
- exit 0
61
+ if ! gh pr view -R microsoft/codeql -t 'Sync Main' > /dev/null 2>&1; then
62
+ gh pr create --repo microsoft/codeql --fill -B main -H sync-main-pr --title 'Sync Main' --body "This PR syncs the latest changes from \`codeql-cli/latest\` into \`main\`."
63
+ else
64
+ echo "PR 'Sync Main' already exists."
65
+ fi
64
66
env :
65
67
GH_TOKEN : ${{ secrets.WORKFLOW_TOKEN }}
66
68
GITHUB_TOKEN : ${{ secrets.WORKFLOW_TOKEN }}
You can’t perform that action at this time.
0 commit comments