diff options
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/hooks/pre-push | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index 30b4e3a..fc0ca3d 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -7,6 +7,7 @@ do if [ "$local_sha" = $z40 ] then # delete, do nothing + continue elif [ "$remote_sha" = $z40 ] then # new branch, test all commits since ci was implemented |