diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2023-03-16 18:42:29 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-16 22:42:29 +0000 |
| commit | 8efda832e2c2a5652a0229ee6628ff704d39285f (patch) | |
| tree | d2ecc0eba622ab1d864ecf90758bf0b62fb4db9f /tools/verify_pr_title.js | |
| parent | 5a1d3ea6148dc40fad3dad5660118dd1882c97eb (diff) | |
chore(ci): allow 'BREAKING' PR title prefix (#18238)
So that we can land PRs like https://github.com/denoland/deno/pull/18237
or https://github.com/denoland/deno/pull/18094
Diffstat (limited to 'tools/verify_pr_title.js')
| -rw-r--r-- | tools/verify_pr_title.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/verify_pr_title.js b/tools/verify_pr_title.js index be877bbfd..01c47636a 100644 --- a/tools/verify_pr_title.js +++ b/tools/verify_pr_title.js @@ -28,6 +28,8 @@ const validPrefixes = [ // allow Revert PRs because it allows us to remove the landed // commit from the generated changelog "Revert ", + // Allow landing breaking changes that are properly marked + "BREAKING", ]; if (validPrefixes.some((prefix) => prTitle.startsWith(prefix))) { |