diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2025-11-25 14:46:21 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2025-11-26 11:31:15 +0000 |
| commit | 951f29f3fa85dd9109f4856608a4a18949f67776 (patch) | |
| tree | 09f5e6d8f84e0f2a9a5d2cd84ba029811a423a6a /executor/common_ext_example.h | |
| parent | 7fd3eae17beda566d0838b6b6fedf5fedc91c2ee (diff) | |
syz-cluster: don't use custom git tree tags
Since remote branches are already mapped to "tree/name" local branches,
there's no need for the special "tree-HEAD" tag anymore. Simplify the
code.
Diffstat (limited to 'executor/common_ext_example.h')
0 files changed, 0 insertions, 0 deletions