hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-25 08:37:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update sync-main.yml

Browse Source
This commit is contained in:
dilanbhalla
2025-04-08 11:26:20 -07:00
committed by GitHub
parent db6d82c9b2
commit c1665fdc0f
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
.github/workflows/sync-main.yml vendored
View File

@@ -48,14 +48,15 @@ jobs:
echo "::endgroup::"
- name: Push sync branch
run: |
echo "$GITHUB_TOKEN" | gh auth login --with-token
git push origin sync-main-pr --force
# Ensure branch is visible to GitHub
gh api repos/:owner/:repo/branches/sync-main-pr || {
gh api repos/:owner/:repo/commits/$(git rev-parse HEAD) || {
echo "Branch not yet visible to GitHub — waiting a bit more"
sleep 10
}
git branch
gh api repos/:owner/:repo/branches/sync-main-pr || {
gh api repos/:owner/:repo/commits/$(git rev-parse HEAD) || {
echo "Branch not yet visible to GitHub — waiting a bit more"
sleep 10
}
@@ -65,12 +66,12 @@ jobs:
- name: Create or update PR
run: |
git branch
gh api repos/:owner/:repo/branches/sync-main-pr || {
gh api repos/:owner/:repo/commits/$(git rev-parse HEAD) || {
echo "Branch not yet visible to GitHub — waiting a bit more"
sleep 10
}
git branch
gh api repos/:owner/:repo/branches/sync-main-pr
gh api repos/:owner/:repo/commits/$(git rev-parse HEAD)
PR_URL=$(gh pr list --head sync-main-pr --json url --jq '.[0].url')
if [ -z "$PR_URL" ]; then
gh pr create \