David Sherret
|
21dd7f8a7f
|
chore: update copyright to 2024 (#21753)
|
2024-01-04 20:34:51 +01:00 |
|
Bartek Iwańczuk
|
a5ad3a44b5
|
chore(ci): allow 'Reland' PR title prefix (#18273)
|
2023-03-18 21:15:45 +00:00 |
|
Bartek Iwańczuk
|
8efda832e2
|
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
|
2023-03-16 22:42:29 +00:00 |
|
David Sherret
|
b9d2ac32d5
|
chore(ci): verify the PR title as part of linting (#18163)
This verifies the PR title as part of the lint step.
|
2023-03-13 18:59:13 +00:00 |
|