diff --git a/builder b/builder index 3262551..b009160 100755 --- a/builder +++ b/builder @@ -6,15 +6,14 @@ REPO="https://git.c3re.de/c3re/test-website.git" refresh() { cd - test -d site/.git || { - test -d site && rm -rf site + test -d site/ || { + rm -rf site git clone --recursive "$REPO" site } cd site git pull - # iterate over all branches and checkout that branch for branch in $(git branch -a | grep remotes | grep -v HEAD); do branch=${branch#remotes/origin/} git checkout "$branch"