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