actions/checkout
1
0
Fork 0
Code Pull Requests Activity

fix ref for pr closed event when a pr is merged (#141)

Browse Source
This commit is contained in:
eric sciple
2020-01-21 14:17:04 -05:00
committed by GitHub
parent db41740e12
commit 090d9c9dfd
3 changed files with 25 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
dist/index.js vendored
View File

@@ -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';