From 74225082a2593aeca370dd99b37e6a50dd8954fe Mon Sep 17 00:00:00 2001 From: Wei He Date: Thu, 23 Apr 2020 13:05:58 -0400 Subject: [PATCH] fix: not use /github as default home directory to prevent conflicts --- 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