From b113b9397f5ae1443f42d3a45c67036172a602aa Mon Sep 17 00:00:00 2001 From: youen Date: Mon, 15 Aug 2022 21:46:38 +0100 Subject: [PATCH] removed obsolete file --- test-document-clone.sh | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100755 test-document-clone.sh diff --git a/test-document-clone.sh b/test-document-clone.sh deleted file mode 100755 index be148ce..0000000 --- a/test-document-clone.sh +++ /dev/null @@ -1,16 +0,0 @@ -TARGET_DIR=data/doc/test/master/repo -REPO_ORIGIN=https://git.vhelio.org/vhelio/vheliotech-guide-de-montage.git -REPO_BRANCH=main -REPO_SOURCE_DIR=source - -[ -e $TARGET_DIR ] && rm -rf $TARGET_DIR - -mkdir -p $TARGET_DIR -cd $TARGET_DIR - -git init --initial-branch=$REPO_BRANCH -git remote add -f origin $REPO_ORIGIN -git sparse-checkout init -git sparse-checkout set "$REPO_SOURCE_DIR" -git pull origin $REPO_BRANCH -git branch --set-upstream-to=origin/$REPO_BRANCH $REPO_BRANCH