From 988704e971030d5d57fbe56e952901d787f31852 Mon Sep 17 00:00:00 2001 From: Robin Neatherway Date: Tue, 10 Nov 2020 12:10:07 +0000 Subject: [PATCH] Change suggested workflow to analyse merge commit --- README.md | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/README.md b/README.md index 6f35ee780..6553f337a 100644 --- 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