diff options
Diffstat (limited to 'Biz/Ide')
| -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 |