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 /src | |
| parent | 7ca3468192f1fa956e1fcc853baedb79587fe236 (diff) | |
fix ref for pr closed event when a pr is merged (#141)
Diffstat (limited to 'src')
| -rw-r--r-- | src/input-helper.ts | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/input-helper.ts b/src/input-helper.ts index 56b58f2..54339da 100644 --- a/src/input-helper.ts +++ b/src/input-helper.ts @@ -61,6 +61,12 @@ export function getInputs(): ISourceSettings { 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) { |
