Update naming

This commit is contained in:
Nikolai Laevskii
2023-09-25 15:28:47 +02:00
parent c40a0983dc
commit 27ee87f076
3 changed files with 12 additions and 12 deletions

View File

@@ -33,10 +33,9 @@ async function labeler() {
const client: ClientType = github.getOctokit(token, {}, pluginRetry.retry);
for await (const pullRequest of api.getChangedPullRequests(
client,
prNumbers
)) {
const pullRequests = api.getPullRequests(client, prNumbers);
for await (const pullRequest of pullRequests) {
const labelGlobs: Map<string, StringOrMatchConfig[]> =
await api.getLabelGlobs(client, configPath);
const preexistingLabels = pullRequest.data.labels.map(l => l.name);