jiriks74/create-pull-request
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[CI] test built

Browse source
This commit is contained in:
peter-evans 2020-11-24 02:54:59 +00:00 • committed by GitHub
parent ff0beed1b2
commit 45d735a188
2 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
dist/index.js vendored
View file

@ -291,6 +291,12 @@ function createPullRequest(inputs) {
const remoteUrl = utils.getRemoteUrl(baseRemote.protocol, branchRepository);
yield git.exec(['remote', 'add', 'fork', remoteUrl]);
}
// For self-hosted runners the repository state persists between runs.
// This command prunes the stale remote ref when the pull request branch was
// 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]);
core.endGroup();
core.info(`Pull request branch target repository set to ${branchRepository}`);
// Configure auth