Merge branch 'main' into azure_pipelines

github · Nov 11, 2020 · 9a7b7cb · 9a7b7cb
2 parents aae4713 + fdb0d48
commit 9a7b7cb
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 22 deletions.
diff --git a/README.md b/README.md
@@ -41,17 +41,6 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2
-        with:
-          # Must fetch at least the immediate parents so that if this is
-          # a pull request then we can checkout the head of the pull request.
-          # Only include this option if you are running this workflow on pull requests.
-          fetch-depth: 2
-
-      # If this run was triggered by a pull request event then checkout
-      # the head of the pull request instead of the merge commit.
-      # Only include this step if you are running this workflow on pull requests.
-      - run: git checkout HEAD^2
-        if: ${{ github.event_name == 'pull_request' }}
 
       # Initializes the CodeQL tools for scanning.
       - name: Initialize CodeQL

diff --git a/lib/codeql.js b/lib/codeql.js