← back to Cli Printing Press
ci(cli): skip title lint for merge queue batches (#760)
ecb35ab0d585693aa48550f2087191a287b35f61 · 2026-05-08 17:16:50 -0700 · Trevin Chow
Files touched
M .github/workflows/pr-title.yml
Diff
commit ecb35ab0d585693aa48550f2087191a287b35f61
Author: Trevin Chow <trevin@trevinchow.com>
Date: Fri May 8 17:16:50 2026 -0700
ci(cli): skip title lint for merge queue batches (#760)
---
.github/workflows/pr-title.yml | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml
index 08713078..7f2b30a3 100644
--- a/.github/workflows/pr-title.yml
+++ b/.github/workflows/pr-title.yml
@@ -17,7 +17,12 @@ jobs:
runs-on: ubuntu-latest
timeout-minutes: 5
steps:
+ - name: Skip Mergify merge queue batches
+ if: startsWith(github.event.pull_request.title, 'merge queue:')
+ run: echo "Skipping semantic title check for Mergify merge queue batch."
+
- uses: amannn/action-semantic-pull-request@v6
+ if: ${{ !startsWith(github.event.pull_request.title, 'merge queue:') }}
with:
types: |
feat
← ecb2cba0 ci(cli): add Mergify merge queue (#757)
·
back to Cli Printing Press
·
fix(cli): unscore large code-orch token catalogs (#755) 6348c9f2 →