From 88c72953ea4eb8b47c53de511857d7db03c700a3 Mon Sep 17 00:00:00 2001 From: Stavros Kois <47820033+stavros-k@users.noreply.github.com> Date: Sun, 12 May 2024 23:47:34 +0300 Subject: [PATCH] remove unneeded --- .github/scripts/frontmatter.sh | 7 ------- 1 file changed, 7 deletions(-) diff --git a/.github/scripts/frontmatter.sh b/.github/scripts/frontmatter.sh index 25240281d03..2ed51c14fba 100755 --- a/.github/scripts/frontmatter.sh +++ b/.github/scripts/frontmatter.sh @@ -22,13 +22,6 @@ is_true() { return 1 } -# if file is empty -if [ -z "$(cat "$file_path")" ]; then - echo "file is empty" - echo -e "---\n" >"$file_path" - echo -e "---\n" >>"$file_path" -fi - echo "Checking front matter" if ! grep -q "^---$" "$file_path"; then echo "Front matter (start) not found, adding it"