push branch instead of head

This commit is contained in:
Peter Evans 2022-11-29 15:08:37 +09:00
parent fa545b74a7
commit 9dd92835ab
2 changed files with 2 additions and 2 deletions

2
dist/index.js vendored
View file

@ -431,7 +431,7 @@ function createPullRequest(inputs) {
yield git.push([
'--force-with-lease',
branchRemoteName,
`HEAD:refs/heads/${inputs.branch}`
`${inputs.branch}:refs/heads/${inputs.branch}`
]);
core.endGroup();
}

View file

@ -195,7 +195,7 @@ export async function createPullRequest(inputs: Inputs): Promise<void> {
await git.push([
'--force-with-lease',
branchRemoteName,
`HEAD:refs/heads/${inputs.branch}`
`${inputs.branch}:refs/heads/${inputs.branch}`
])
core.endGroup()
}