mirror of
https://github.com/discordjs/discord-api-types.git
synced 2026-05-31 16:00:09 +00:00
ci: correctly delete the head branch (#388)
This commit is contained in:
@@ -85,7 +85,7 @@ if (previousPullRequest) {
|
||||
await octokit.request('DELETE /repos/{owner}/{repo}/git/refs/{ref}', {
|
||||
owner: OWNER,
|
||||
repo: REPOSITORY,
|
||||
ref: `heads/chore/release/${newVersion['discord-api-types']}`,
|
||||
ref: `heads/${previousPullRequest.head.ref}`,
|
||||
});
|
||||
|
||||
console.log(`✅ Done. Pull request ${previousPullRequest.number} was closed and will be recreated.`);
|
||||
|
||||
Reference in New Issue
Block a user