Fix warning about git checkout HEAD^2 (#3829)

Currently CI is warning that this step is no longer needed, so remove
it.
This commit is contained in:
Paulo Matos 2021-05-11 22:26:47 +02:00 committed by GitHub
parent 274eb82deb
commit f462ac6a31
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,11 +14,6 @@ jobs:
# We must fetch at least the immediate parents so that if this is
# a pull request then we can checkout the head.
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.
- run: git checkout HEAD^2
if: ${{ github.event_name == 'pull_request' }}
# Initializes the CodeQL tools for scanning.
- name: Initialize CodeQL