Add todo for issuing a PR

jaisnan · Jul 30, 2024 · eb69aa7 · eb69aa7
1 parent 75ba757
commit eb69aa7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
@@ -39,4 +39,4 @@ echo
 
 # Clean up the Kani directory (optional)
 rm -rf "$KANI_DIR"
-rm -rf "$VERIFY_RUST_STD_DIR"
+# rm -rf "$VERIFY_RUST_STD_DIR"
diff --git a/scripts/run_update_with_checks.sh b/scripts/run_update_with_checks.sh
@@ -4,8 +4,6 @@ set -eux
 
 BASE_HOME_DIR="$(pwd)"
 
-# TODO: Remove all relative paths, with that blob that gets the scripts dir
-
 # Set variables
 REPO_OWNER="jaisnan"
 REPO_NAME="rust-dev"
@@ -178,5 +176,8 @@ else
     echo "script4.sh completed successfully."
 fi
 
+# TODO: Issue a Pull Request from the sync branch of the temp repo
+# cd $TEMP_HOME_DIR
+
 # Remove the temporary directory
 # rm -rf "$TEMP_DIR"