diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-03-03 10:41:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-03 10:41:00 +0100 |
| commit | 130521278696605bab51af238d47b29ae88ba8b0 (patch) | |
| tree | 447e03c1f4b7e029ddb158d53112af4b6caed727 /compiler/rustc_codegen_gcc/src/lib.rs | |
| parent | 7dd586844a3f39b6c8cb9178eb69b98654fa8076 (diff) | |
| parent | 41a7c8312d9b21bbf96da0d39b5650dde03ec7ef (diff) | |
| download | rust-130521278696605bab51af238d47b29ae88ba8b0.tar.gz rust-130521278696605bab51af238d47b29ae88ba8b0.zip | |
Rollup merge of #137618 - yotamofek:pr/pre-push-hook, r=Mark-Simulacrum
Skip `tidy` in pre-push hook if the user is deleting a remote branch It's kinda annoying when I'm trying to delete remote branches and that triggers `tidy`, so small fix to prevent that. Hopefully this should be an acceptable amount of complexity to add to this shell script.
Diffstat (limited to 'compiler/rustc_codegen_gcc/src/lib.rs')
0 files changed, 0 insertions, 0 deletions