diff --git a/utils/githooks/post-merge b/utils/githooks/post-merge index 548e6ae56f6a55c2d1acab88308e336c06e71616..0270059a024e64f806777287838dfa8b34f3c461 100755 --- a/utils/githooks/post-merge +++ b/utils/githooks/post-merge @@ -9,10 +9,10 @@ # echo "****** Post-merge Hook ******" -echo "****** Pull subtrees ******" -echo "$(pwd)" - -if [ -d "$(pwd)/utils" ]; then - cd utils - ./pull_subtrees.sh -fi +# echo "****** Pull subtrees ******" +# echo "$(pwd)" +# +# if [ -d "$(pwd)/utils" ]; then +# cd utils +# ./pull_subtrees.sh +# fi diff --git a/utils/githooks/pre-push b/utils/githooks/pre-push index 50401f9e2df8033763628124e1445afe66e9bad5..cd14a0c58a056f515f01588f19dd4dd4cedd40cd 100755 --- a/utils/githooks/pre-push +++ b/utils/githooks/pre-push @@ -13,9 +13,9 @@ url="$2" if [ $remote != $url ]; then echo "****** Pre-push Hook ******" - echo "****** Push subtrees ******" - if [ -d "$(pwd)/utils" ]; then - cd utils - ./push_subtrees.sh - fi + # echo "****** Push subtrees ******" + # if [ -d "$(pwd)/utils" ]; then + # cd utils + # ./push_subtrees.sh + # fi fi