Add clarifying comments, and update Global Constants

scripts/pull_from_upstream.sh

@@ -21,3 +21,5 @@ git subtree split --prefix=library --onto subtree/library -b subtree/library
 git fetch origin
 git checkout -b ${SYNC_BRANCH} origin/main
 git subtree merge --prefix=library subtree/library --squash
+
+# TODO: Update origin/subtree/library as well after the process by pushing to it

scripts/run_update_with_checks.sh

@@ -4,13 +4,15 @@ set -eux
 
 BASE_HOME_DIR="$(pwd)"
 
-# Set variables
-REPO_OWNER="jaisnan"
-REPO_NAME="rust-dev"
-BRANCH_NAME="features/verifuy-07-21"
+# Set variables for verify-rust-std
+# NOTE: This process assumes that verify-rust-std is updated automatically
+# and independently
+REPO_OWNER="model-checking"
+REPO_NAME="kani"
+BRANCH_NAME="features/verify-rust-std"
 TOOLCHAIN_FILE="rust-toolchain.toml"
 
-# Set base
+# Set base as verify-rust-std's origin/main branch
 BASE_REPO="https://github.com/model-checking/verify-rust-std.git"
 
 # Create a temporary directory