diff --git a/dist/index.js b/dist/index.js index fb93d046..b26dca23 100644 --- a/dist/index.js +++ b/dist/index.js @@ -458,7 +458,12 @@ function createPullRequest(inputs) { // deleted after being merged or closed. Without this the push using // '--force-with-lease' fails due to "stale info." // https://github.com/peter-evans/create-pull-request/issues/633 - yield git.exec(['remote', 'prune', branchRemoteName]); + try { + yield git.exec(['remote', 'prune', branchRemoteName]); + } + catch (error) { + core.warning(`Failed to prune remote '${branchRemoteName}': ${error.message}`); + } } core.endGroup(); // Apply the branch suffix if set diff --git a/report.txt b/report.txt new file mode 100644 index 00000000..7f76a01c --- /dev/null +++ b/report.txt @@ -0,0 +1 @@ +1769006759