Files
codeql-action/lib
Robin Neatherway 7795860c11 Do not always overwrite the GITHUB_REF for PRs
As we move towards analysing the merge commit for pull requests by
default, we should stop sending `/refs/pull/n/head` rather than
`refs/pull/n/merge` _unless_ the checked-out SHA has actually changed.
Here we assume that any change (compared to GITHUB_SHA) indicates that
`git checkout HEAD^2` has been run earlier. This may sometimes be
incorrect (e.g. `git checkout mybranch`), but in that case the ref
would be wrong either way.
2020-09-17 13:11:06 +01:00
..
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-15 14:01:21 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-15 14:01:21 +01:00
2020-09-15 14:01:21 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-08-26 16:28:44 +02:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-08-27 14:26:44 +01:00
2020-08-27 14:26:44 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 18:13:33 +01:00
2020-09-14 18:13:33 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-14 10:44:43 +01:00
2020-09-15 14:01:21 +01:00
2020-09-15 14:01:21 +01:00