tools: Update scripts

taiki-e · Mar 9, 2025 · 9742dea · 9742dea
1 parent 8451f2e
commit 9742dea
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/tools/publish.sh b/tools/publish.sh
@@ -193,5 +193,5 @@ fi
 set -x
 
 git tag "${tag}"
-retry git push origin main
-retry git push origin --tags
+retry git push origin refs/heads/main
+retry git push origin refs/tags/"${tag}"
diff --git a/tools/tidy.sh b/tools/tidy.sh
@@ -14,7 +14,7 @@ cd -- "$(dirname -- "$0")"/..
 # - git 1.8+
 # - jq 1.6+
 # - npm (node 18+)
-# - python 3.6+
+# - python 3.5.3+
 # - shfmt
 # - shellcheck
 # - cargo, rustfmt (if Rust code exists)
@@ -666,7 +666,7 @@ elif check_install shellcheck; then
   if [[ ${#docker_files[@]} -gt 0 ]]; then
     # Exclude SC2096 due to the way the temporary script is created.
     shellcheck_exclude=SC2096
-    info "running \`shellcheck --exclude ${shellcheck_exclude}\` for scripts in \$(git ls-files '*Dockerfile*')\`"
+    info "running \`shellcheck --exclude ${shellcheck_exclude}\` for scripts in \`\$(git ls-files '*Dockerfile*')\`"
     if check_install jq python3 parse-dockerfile; then
       shellcheck_for_dockerfile() {
         local text=$1