fix(ci): s

Author: benjie

scripts/ci

@@ -18,7 +18,7 @@ echo "Undoing changes to autogenerated files"
 git checkout -- src/data/examples.json
 git checkout -- src/pages/postgraphile/usage-*.md
 
-if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" == "" ] && [ "$GITHUB_REF" == "ref/heads/develop" ]; then
+if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" == "" ] && [ "$GITHUB_REF" == "refs/heads/develop" ]; then
   echo "GITHUB_TOKEN is specified"
 
   # git diff-index only looks at modified timestamps; this update-index call