From 422d86708630b5b3006b5d76e34bb7fecac9509e Mon Sep 17 00:00:00 2001 From: Vivek Shankar Date: Wed, 12 Nov 2025 18:49:21 +0530 Subject: [PATCH] fix: remove unknown arg --- .github/scripts/pushdocs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/pushdocs.sh b/.github/scripts/pushdocs.sh index 6c3cbe3..3867998 100755 --- a/.github/scripts/pushdocs.sh +++ b/.github/scripts/pushdocs.sh @@ -34,7 +34,7 @@ git config user.email "shankarv@sg.ibm.com" git config user.name "shankarv" git remote set-url origin https://${GH_PAGES_TOKEN}@github.com/${PAGES_USER}/${PAGES_REPO} -git diff --no-pager --exit-code +git diff --exit-code if [ $? -eq 0 ]; then echo "No changes found." git status