From f5f23801e53eee59847ad35a53bc077dbac5f592 Mon Sep 17 00:00:00 2001 From: Wei He Date: Thu, 23 Apr 2020 13:15:28 -0400 Subject: [PATCH] fix: not use /github as default home directory to prevent conflicts (#11) --- git-sync.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/git-sync.sh b/git-sync.sh index b87ab8e..2b87000 100755 --- a/git-sync.sh +++ b/git-sync.sh @@ -31,7 +31,7 @@ fi echo "SOURCE=$SOURCE_REPO:$SOURCE_BRANCH" echo "DESTINATION=$DESTINATION_REPO:$DESTINATION_BRANCH" -git clone "$SOURCE_REPO" source --origin source && cd source +git clone "$SOURCE_REPO" /root/source --origin source && cd /root/source git remote add destination "$DESTINATION_REPO" # Pull all branches references down locally so subsequent commands can see them