diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2023-03-13 14:59:13 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-13 18:59:13 +0000 |
| commit | b9d2ac32d54110636a3abd7863ed00af030fec84 (patch) | |
| tree | 3107168e1c9a3071fbc9772a961d7781071dd1fa /cli/file_fetcher.rs | |
| parent | 44b0d4cb11853bcdc7aa61c1412719a13d572b24 (diff) | |
chore(ci): verify the PR title as part of linting (#18163)
This verifies the PR title as part of the lint step.
Diffstat (limited to 'cli/file_fetcher.rs')
0 files changed, 0 insertions, 0 deletions