diff --git a/utils/githooks/post-merge b/utils/githooks/post-merge index 548e6ae56f6a55c2d1acab88308e336c06e71616..45b38b216aa67e69223d8bea9440665e898168f2 100755 --- a/utils/githooks/post-merge +++ b/utils/githooks/post-merge @@ -9,10 +9,11 @@ # echo "****** Post-merge Hook ******" -echo "****** Pull subtrees ******" -echo "$(pwd)" - -if [ -d "$(pwd)/utils" ]; then - cd utils - ./pull_subtrees.sh -fi +echo "****** Pull ******" +# 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..c5e4e9536803f05a55dce10289d9bd9299350a7d 100755 --- a/utils/githooks/pre-push +++ b/utils/githooks/pre-push @@ -13,9 +13,10 @@ 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 ******" + # echo "****** Push subtrees ******" + # if [ -d "$(pwd)/utils" ]; then + # cd utils + # ./push_subtrees.sh + # fi fi