Commits
Commits on Sep 17, 2020
-
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.
Robin Neatherway committedSep 17, 2020 Copy the full SHA 7795860View commit details
Commits on Sep 16, 2020
-
Robert Brignull committed
Sep 16, 2020 Copy the full SHA 4c4114fView commit details
Commits on Sep 15, 2020
-
Add getOptionalInput and getRequiredInput
Robert Brignull committedSep 15, 2020 Copy the full SHA c1cee53View commit details -
Robert Brignull committed
Sep 15, 2020 Copy the full SHA 121fd33View commit details
End of commit history for this file