[go: nahoru, domu]

Skip to content

Commit

Permalink
Use static dir name when cloning source git repo.
Browse files Browse the repository at this point in the history
  • Loading branch information
rasodu committed Dec 30, 2019
1 parent c388e4c commit 84e54da
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion git-sync.sh
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,6 @@ fi
echo "SOURCE=$SOURCE_REPO:$SOURCE_BRANCH"
echo "DESTINATION=$DESTINATION_REPO:$DESTINATION_BRANCH"

git clone "$SOURCE_REPO" --origin source && cd `basename "$SOURCE_REPO" .git`
git clone "$SOURCE_REPO" source --origin source && cd source
git remote add destination "$DESTINATION_REPO"
git push destination "${SOURCE_BRANCH}:${DESTINATION_BRANCH}" -f

0 comments on commit 84e54da

Please sign in to comment.