Removing git checkout as required.

Perry Werneck · GitHub
1 parent 1c9cd360
Showing 1 changed file with 2 additions and 2 deletions Show diff stats
.github/workflows/codeql-analysis.yml
@@ -38,8 +38,8 @@ jobs:
  
     # 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' }}
+    # - run: git checkout HEAD^2
+    #  if: ${{ github.event_name == 'pull_request' }}
  
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL
...	...	@@ -38,8 +38,8 @@ jobs:
38	38
39	39	# If this run was triggered by a pull request event, then checkout
40	40	# the head of the pull request instead of the merge commit.
41		- - run: git checkout HEAD^2
42		- if: ${{ github.event_name == 'pull_request' }}
	41	+ # - run: git checkout HEAD^2
	42	+ # if: ${{ github.event_name == 'pull_request' }}
43	43
44	44	# Initializes the CodeQL tools for scanning.
45	45	- name: Initialize CodeQL
...	...