diff options
| author | Harsh Shandilya <me@msfjarvis.dev> | 2023-05-22 23:46:05 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-22 23:46:05 +0530 |
| commit | 4a26689a93fe623a4a4e4705d69d24f9b328fea1 (patch) | |
| tree | 40df1f330abe66cab287af0721f9e1b54fd81b23 /scripts/pre-push-hook.sh | |
| parent | e682b14cf2f7185e2b5a0551f034a85026005b2c (diff) | |
fix(github): use a different workaround for broken pipes
This variant avoids false-positive error annotations
Diffstat (limited to 'scripts/pre-push-hook.sh')
0 files changed, 0 insertions, 0 deletions