From 07303ed4f91a8a1c09c8579894c5208a2dfd9e7c Mon Sep 17 00:00:00 2001 From: Long Ho Date: Fri, 29 May 2026 22:21:15 -0400 Subject: [PATCH] fix: skip PR title check on push --- tools/verify-pr-title.ts | 23 +++++++++++++++++++---- 1 file changed, 19 insertions(+), 4 deletions(-) diff --git a/tools/verify-pr-title.ts b/tools/verify-pr-title.ts index 375be0b..c6b96da 100644 --- a/tools/verify-pr-title.ts +++ b/tools/verify-pr-title.ts @@ -77,18 +77,33 @@ function getTitleFromGitHubEvent(): string | undefined { } } +function getTitleFromEnv(name: string): string | undefined { + const title = process.env[name]; + if (title === undefined) { + return undefined; + } + + if (title.length > 0) { + return title; + } + + return process.env.GITHUB_EVENT_NAME === 'pull_request' ? '' : undefined; +} + function getPrTitle(): string | undefined { const argTitle = getTitleFromArgs(process.argv.slice(2)); if (argTitle !== undefined) { return argTitle; } - if (process.env.PR_TITLE !== undefined) { - return process.env.PR_TITLE; + const prTitle = getTitleFromEnv('PR_TITLE'); + if (prTitle !== undefined) { + return prTitle; } - if (process.env.GITHUB_PR_TITLE !== undefined) { - return process.env.GITHUB_PR_TITLE; + const githubPrTitle = getTitleFromEnv('GITHUB_PR_TITLE'); + if (githubPrTitle !== undefined) { + return githubPrTitle; } return getTitleFromGitHubEvent();