From e453278cb1ef130429039b1dfacb65f3b49c1326 Mon Sep 17 00:00:00 2001 From: Jack O'Connor Date: Tue, 25 Nov 2025 12:36:28 -0800 Subject: [PATCH 1/2] pin ruff commit hashes when copying docs --- scripts/autogenerate_files.sh | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/scripts/autogenerate_files.sh b/scripts/autogenerate_files.sh index 7bbd8060e0..73902c3a33 100755 --- a/scripts/autogenerate_files.sh +++ b/scripts/autogenerate_files.sh @@ -11,14 +11,23 @@ set -eu script_root="$(realpath "$(dirname "$0")")" project_root="$(dirname "$script_root")" cd "$project_root" +ruff_commit="$(git -C ruff rev-parse HEAD)" echo "Updating lockfile..." uv lock echo "Copying reference documentation from Ruff..." -cp ./ruff/crates/ty/docs/cli.md ./docs/reference/ -cp ./ruff/crates/ty/docs/configuration.md ./docs/reference/ -cp ./ruff/crates/ty/docs/rules.md ./docs/reference/ -cp ./ruff/crates/ty/docs/environment.md ./docs/reference/ +copy_docs() { + src="$1" + dest="$2" + [[ -d "$dest" ]] && dest="$dest/$(basename "$src")" + old_url="/github.com/astral-sh/ruff/blob/main/" + new_url="/github.com/astral-sh/ruff/blob/$ruff_commit/" + sed "s|$old_url|$new_url|g" "$src" > "$dest" +} +copy_docs ./ruff/crates/ty/docs/cli.md ./docs/reference/ +copy_docs ./ruff/crates/ty/docs/configuration.md ./docs/reference/ +copy_docs ./ruff/crates/ty/docs/rules.md ./docs/reference/ +copy_docs ./ruff/crates/ty/docs/environment.md ./docs/reference/ echo "Documentation has been copied from Ruff submodule" From ad82b625e1a359ebeb2e25d1596abe3f95f4143d Mon Sep 17 00:00:00 2001 From: Jack O'Connor Date: Tue, 25 Nov 2025 13:22:36 -0800 Subject: [PATCH 2/2] Codex is right --- scripts/autogenerate_files.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/autogenerate_files.sh b/scripts/autogenerate_files.sh index 73902c3a33..8b53fe8f7c 100755 --- a/scripts/autogenerate_files.sh +++ b/scripts/autogenerate_files.sh @@ -20,7 +20,7 @@ echo "Copying reference documentation from Ruff..." copy_docs() { src="$1" dest="$2" - [[ -d "$dest" ]] && dest="$dest/$(basename "$src")" + [ -d "$dest" ] && dest="$dest/$(basename "$src")" old_url="/github.com/astral-sh/ruff/blob/main/" new_url="/github.com/astral-sh/ruff/blob/$ruff_commit/" sed "s|$old_url|$new_url|g" "$src" > "$dest"