File tree Expand file tree Collapse file tree 1 file changed +1
-12
lines changed
Expand file tree Collapse file tree 1 file changed +1
-12
lines changed Original file line number Diff line number Diff line change 5555 env :
5656 GH_TOKEN : ${{ secrets.WORKFLOW_TOKEN }}
5757 GITHUB_TOKEN : ${{ secrets.WORKFLOW_TOKEN }}
58- - name : Debug sync-main-pr state
59- run : |
60- echo "🔍 Checking sync-main-pr branch and its commit history"
61- git status
62-
63- echo "::group::Diff between sync-main-pr and main"
64- git diff origin/main..origin/sync-main-pr
65- echo "::endgroup::"
66-
67- echo "Current SHA for main: $(git rev-parse origin/main)"
68- echo "Current SHA for sync-main-pr: $(git rev-parse origin/sync-main-pr)"
6958 - name : Create or update PR
7059 run : |
71- gh pr create --fill -B origin/ main -H origin/ sync-main-pr --title 'Sync Main' --body "This PR syncs the latest changes from \`codeql-cli/latest\` into \`main\`."
60+ 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\`."
7261 exit 0
7362 env :
7463 GH_TOKEN : ${{ secrets.WORKFLOW_TOKEN }}
You can’t perform that action at this time.
0 commit comments