From 02633d0cf0b657685f122c6b0f52d47ed19be827 Mon Sep 17 00:00:00 2001
From: Armand Bahi <armand.bahi@veremes.com>
Date: Wed, 31 Oct 2018 12:13:09 +0100
Subject: [PATCH] Remove auto pull/push subtrees
---
utils/githooks/post-merge | 14 +++++++-------
utils/githooks/pre-push | 10 +++++-----
2 files changed, 12 insertions(+), 12 deletions(-)
diff --git a/utils/githooks/post-merge b/utils/githooks/post-merge
index 548e6ae5..0270059a 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 50401f9e..cd14a0c5 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
--
GitLab