CI: fix some typos in the scripts

This commit is contained in:
liushuyu 2022-10-12 15:12:20 -06:00
parent 54f56ebf50
commit aa0fa905d6
No known key found for this signature in database
GPG Key ID: 23D1CE4534419437
2 changed files with 2 additions and 2 deletions

View File

@ -25,4 +25,4 @@ jobs:
const mergebot = require('./.github/workflows/merge.js');
const branch = await mergebot.checkChanges(github, context);
if (branch)
await mergeChanges(branch, execa);
await mergebot.mergeChanges(branch, execa);

View File

@ -93,7 +93,7 @@ async function checkChanges(github, context) {
}
const chosen = auto_prs[0];
const should_close = auto_prs.slice(1);
console.log(`Selected pull request: #${chosen.num}`);
console.log(`Selected pull request: #${chosen.number}`);
await closePullRequests(should_close, github);
return chosen.headRefName;
}