diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2023-03-18 17:15:45 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-18 21:15:45 +0000 |
| commit | a5ad3a44b5476909f12ae90501d8c7c451669be6 (patch) | |
| tree | 9c56870194e92915eed122d7c97167866bb6cc86 /tools/verify_pr_title.js | |
| parent | d33369c6c737718e02d61ae1b3a3231896d5a9b1 (diff) | |
chore(ci): allow 'Reland' PR title prefix (#18273)
Diffstat (limited to 'tools/verify_pr_title.js')
| -rw-r--r-- | tools/verify_pr_title.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/verify_pr_title.js b/tools/verify_pr_title.js index 01c47636a..ffae101ca 100644 --- a/tools/verify_pr_title.js +++ b/tools/verify_pr_title.js @@ -28,6 +28,9 @@ const validPrefixes = [ // allow Revert PRs because it allows us to remove the landed // commit from the generated changelog "Revert ", + // allow Reland PRs because when editing the changelog, it helps us identify + // commits that were reverted, but then relanded + "Reland ", // Allow landing breaking changes that are properly marked "BREAKING", ]; |