Skip to content

Commit

Permalink
FIX fix name origanization circleci (#632)
Browse files Browse the repository at this point in the history
  • Loading branch information
glemaitre committed Nov 8, 2019
1 parent 0de197e commit 65132db
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build_tools/circle/push_doc.sh
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ MSG="Pushing the docs to $dir/ for branch: $CIRCLE_BRANCH, commit $CIRCLE_SHA1"

cd $HOME
if [ ! -d $DOC_REPO ];
then git clone --depth 1 --no-checkout -b master "[email protected]:"$ORGAMIZATION"/"$DOC_REPO".git";
then git clone --depth 1 --no-checkout -b master "[email protected]:"$ORGANIZATION"/"$DOC_REPO".git";
fi
cd $DOC_REPO
git config core.sparseCheckout true
Expand Down

0 comments on commit 65132db

Please sign in to comment.