mirror of
https://github.com/github/codeql.git
synced 2026-05-25 00:27:09 +02:00
Merge pull request #209 from microsoft/dilan/workflow-bugs
Fix Sync-Main Workflow Bugs
This commit is contained in:
1
.github/workflows/sync-main-tags.yml
vendored
1
.github/workflows/sync-main-tags.yml
vendored
@@ -21,6 +21,7 @@ jobs:
|
||||
fetch-depth: 0
|
||||
- name: Push Tags
|
||||
run: |
|
||||
git remote add upstream https://github.com/github/codeql.git
|
||||
git fetch upstream --tags --force
|
||||
git push --force origin --tags
|
||||
env:
|
||||
|
||||
2
.github/workflows/sync-main.yml
vendored
2
.github/workflows/sync-main.yml
vendored
@@ -78,7 +78,7 @@ jobs:
|
||||
--label 'autogenerated' \
|
||||
--title 'Sync Main (autogenerated)' \
|
||||
--body "This PR syncs the latest changes from \`codeql-cli/latest\` into \`main\`." \
|
||||
--reviewer 'MathiasVP'
|
||||
--reviewer 'MathiasVP' \
|
||||
--reviewer 'ropwareJB'
|
||||
else
|
||||
echo "No changes to sync from auto/sync-main-pr to main. Exiting gracefully."
|
||||
|
||||
Reference in New Issue
Block a user