Skip to content

Commit 13e5305

Browse files
authored
Merge pull request #189 from microsoft/dilan/sync-main-bugs-1
Sync Main Misc Git Bugs
2 parents 452f56f + 157c57a commit 13e5305

File tree

1 file changed

+3
-6
lines changed

1 file changed

+3
-6
lines changed

.github/workflows/sync-main.yml

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -33,13 +33,13 @@ jobs:
3333
git config user.email "github-actions[bot]@users.noreply.github.com"
3434
- name: Add and fetch upstream
3535
run: |
36+
set -x
37+
git fetch
3638
git remote add upstream https://github.com/github/codeql.git
3739
git fetch upstream --tags --force
38-
- name: Create or reset sync branch
39-
run: |
4040
git fetch origin sync-main-pr || true
4141
git checkout -B sync-main-pr origin/main
42-
git merge upstream/codeql-cli/latest --no-edit || true
42+
git merge codeql-cli/latest
4343
- name: Setup CodeQL
4444
shell: bash
4545
run: |
@@ -50,9 +50,6 @@ jobs:
5050
gh codeql version --format=json | jq -r .unpackedLocation >> "${GITHUB_PATH}"
5151
env:
5252
GITHUB_TOKEN: ${{ github.token }}
53-
- name: Compile PowerShell Queries
54-
run: |
55-
codeql query compile --check-only --keep-going powershell/ql/src
5653
- name: Push sync branch
5754
run: |
5855
git push origin sync-main-pr --force

0 commit comments

Comments
 (0)