diff options
| author | Ben Sima <ben@bsima.me> | 2023-08-21 22:03:04 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-08-21 22:03:04 -0400 |
| commit | 8f5f080fe73f0b0cfbc18dfe2b8a466ed4b43375 (patch) | |
| tree | 4f3fa00261bce3a76f26f4b4f220e183bab18a2e /Biz/Ide/hooks/pre-push | |
| parent | 3ac752fcd94cf8796c6cbe03438211d55dc2d446 (diff) | |
Don't run ci on notes refs
Diffstat (limited to 'Biz/Ide/hooks/pre-push')
| -rwxr-xr-x | Biz/Ide/hooks/pre-push | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index 85f047f..863c687 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -13,6 +13,9 @@ ## while read local_ref local_sha remote_ref remote_sha do + if [[ $local_ref =~ notes ]]; then + exit 0 + fi commit=$(git notes --ref=ci show $local_ref || true) if [[ -n "$commit" ]] then |