minor tweaks

uber · Jul 15, 2023 · 006c624 · 006c624
1 parent 828a29d
commit 006c624
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/gcloud_ssh.sh b/.github/workflows/gcloud_ssh.sh
@@ -7,4 +7,5 @@ PROJECT_ID="ucr-ursa-major-sridharan-lab"
 ZONE="us-central1-a"
 USER="root"
 INSTANCE="nullway-jmh"
+
 gcloud compute ssh --project=$PROJECT_ID --zone=$ZONE $USER@$INSTANCE --command="$1"
diff --git a/.github/workflows/get_repo_details.sh b/.github/workflows/get_repo_details.sh
@@ -15,6 +15,6 @@ PR_DETAILS=$(curl -s -H "Authorization: token $GH_TOKEN" "https://api.github.com
 REPO_FULL_NAME=$(echo "$PR_DETAILS" | jq -r .head.repo.full_name)
 BRANCH_NAME=$(echo "$PR_DETAILS" | jq -r .head.ref)
 
-# Export the REPO_FULL_NAME and BRANCH_NAME variables
+# Export vars to GITHUB_ENV so they can be used by later scripts
 echo "REPO_FULL_NAME=$REPO_FULL_NAME" >> $GITHUB_ENV
 echo "BRANCH_NAME=$BRANCH_NAME" >> $GITHUB_ENV