diff options
| author | eric sciple <ericsciple@users.noreply.github.com> | 2020-01-21 14:17:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-21 14:17:04 -0500 |
| commit | 12bd1637c11cfa549d99e323740931f7481924d7 (patch) | |
| tree | dd6867ece1cf77c75e956bbfe52cb1efbccef21f /dist | |
| parent | 7ca3468192f1fa956e1fcc853baedb79587fe236 (diff) | |
fix ref for pr closed event when a pr is merged (#141)
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/index.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dist/index.js b/dist/index.js index 1919193..c58ef35 100644 --- a/dist/index.js +++ b/dist/index.js @@ -12757,6 +12757,11 @@ function getInputs() { if (isWorkflowRepository) { result.ref = github.context.ref; result.commit = github.context.sha; + // Some events have an unqualifed ref. For example when a PR is merged (pull_request closed event), + // the ref is unqualifed like "master" instead of "refs/heads/master". + if (result.commit && result.ref && !result.ref.startsWith('refs/')) { + result.ref = `refs/heads/${result.ref}`; + } } if (!result.ref && !result.commit) { result.ref = 'refs/heads/master'; |
