From f9e96542252e7f586653af1a8ede8c99d7cf2119 Mon Sep 17 00:00:00 2001 From: Ali Abdalla Date: Tue, 8 Nov 2022 04:21:31 -0800 Subject: [PATCH] reload on every commit (#2618) --- website/reload_website.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/reload_website.sh b/website/reload_website.sh index 2c3514bea8..9e84dabae8 100644 --- a/website/reload_website.sh +++ b/website/reload_website.sh @@ -5,7 +5,7 @@ export PATH="/usr/local/bin:/usr/bin:/bin" git pull > /tmp/git_changes.txt -if ! grep -q "gradio/version.txt" /tmp/git_changes.txt; then +if grep -q "Already up to date." /tmp/git_changes.txt; then echo "NO CHANGES" else echo "Reloading..."