From b985d2d87d4e641148994b010829c21870340ad9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?milan=20jurkul=C3=A1k?= Date: Thu, 2 May 2024 22:54:53 +0200 Subject: [PATCH] documentation update --- scripts/update-wiki.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/update-wiki.sh b/scripts/update-wiki.sh index 6f3c4ff5..7386becf 100644 --- a/scripts/update-wiki.sh +++ b/scripts/update-wiki.sh @@ -29,9 +29,9 @@ old_dir=$(pwd) cd "$TEMP_REPO_DIR" || exit git rm -rf . git clean -fxd -git update-ref -d refs/heads/master -git push -git pull +#git update-ref -d refs/heads/master +#git push +#git pull cd "$old_dir" || exit echo "Copying edited wiki" cp -a "$WIKI_DIR/." "$TEMP_REPO_DIR"