Merge pull request #297 from github/rneatherway-patch-1

Change suggested workflow to analyse merge commit
This commit is contained in:
Robin Neatherway 2020-11-10 14:46:28 +00:00 committed by GitHub
commit d3285a0ea2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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