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"