Merge pull request github#29306 from github/repo-sync

Repo sync
ebfork · Oct 20, 2023 · e962e51 · e962e51
2 parents 7b27a00 + b315a45
commit e962e51
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/sync-codeql-cli.yml b/.github/workflows/sync-codeql-cli.yml
@@ -116,11 +116,13 @@ jobs:
           echo "Creating pull request..."
           gh pr create \
             --title "Update CodeQL CLI manual" \
-            --body '👋 humans. This PR updates the CodeQL CLI manual Markdown pages with the latest changes. (Synced from semmle-code@${{ steps.semmle-code.outputs.OPENAPI_COMMIT_SHA }})
+            --body '👋 humans. This PR updates the CodeQL CLI manual Markdown pages with the latest changes in preparation for the next **CodeQL CLI** release. 
+            
+            This will be reviewed and merged by the Code scanning and GHAS focus team as part of the release of CodeQL CLI. (Synced from semmle-code@${{ steps.semmle-code.outputs.OPENAPI_COMMIT_SHA }})
 
             If CI does not pass or other problems arise, contact #docs-engineering on slack.' \
             --repo github/docs-internal \
-            --label codeql-cli-pipeline
+            --label "codeql-cli-pipeline,skip FR board"
 
       - uses: ./.github/actions/slack-alert
         with: