Release script corrections

smillst · web-flow · commit f8d4d5521b5b · 2026-02-02T17:41:03.000Z
diff --git a/docs/developer/release/release_build.py b/docs/developer/release/release_build.py
@@ -22,6 +22,7 @@
     delete_directory_if_exists,
     delete_if_exists,
     ensure_group_access,
+    ensure_user_access,
     has_command_line_option,
     increment_version,
     print_step,
@@ -216,7 +217,9 @@ def build_checker_framework_release(
 
     dev_website_relative_dir = Path(DEV_SITE_DIR) / "releases" / version
     print(f"Copying from: {dev_website_relative_dir}\n  to: {DEV_SITE_DIR}")
-    shutil.copytree(str(dev_website_relative_dir), str(DEV_SITE_DIR))
+    ensure_group_access(dev_website_relative_dir)
+    ensure_user_access(dev_website_relative_dir)
+    shutil.copytree(str(dev_website_relative_dir), str(DEV_SITE_DIR), dirs_exist_ok=True)
 
 
 def commit_to_interm_projects(cf_version: str) -> None:
diff --git a/docs/developer/release/release_utils.py b/docs/developer/release/release_utils.py
@@ -289,6 +289,9 @@ def update_repo(path: Path, bareflag: bool) -> None:
 
 def commit_tag_and_push(version: str, path: Path, tag_prefix: str) -> None:
     """Commit the changes made for this release, add a tag, and push these changes."""
+    # Remove the pre-commit hook because it can cause errors.
+    execute("rm -f .git/hooks/pre-commit", working_dir=path)
+
     # Do nothing (instead of erring) if there is nothing to commit.
     if execute_status("git diff-index --quiet HEAD", working_dir=path) != 0:
         execute(f'git commit -a -m "new release {version}"', working_dir=path)
