6 Commits

Author	SHA1	Message	Date
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
Robert Brignull	c1cee53da5	Add getOptionalInput and getRequiredInput	2020-09-15 18:47:50 +01:00
Robert Brignull	121fd331cd	Introduce actions-util.ts	2020-09-15 14:01:21 +01:00
Chris Raynor	a184d50a26	Running lint-fix	2020-09-14 10:44:43 +01:00
Robert Brignull	f5d645fc73	Fix use of wrong URL	2020-08-26 16:20:36 +01:00
Robert Brignull	9e342a9b83	rename the action entrypoint files	2020-08-24 15:15:26 +01:00