From aec06ac983029408156bdc2ad2c1bc8b258e75bd Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Mon, 18 May 2026 10:03:20 -0400
Subject: [PATCH 1/2] Bump Python to 3.9 in CI

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7af63409..317be75d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -37,7 +37,7 @@ jobs:
       - name: Set up Python 3
         uses: actions/setup-python@v4
         with:
-          python-version: '3.8'
+          python-version: '3.9'
       - name: Set up Java
         uses: actions/setup-java@v3
         with:

From 18bc3103483c805fc83e9ce16b601398efd93bf9 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Mon, 18 May 2026 10:28:53 -0400
Subject: [PATCH 2/2] Hardcode downstream clone to opprop

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
---
 .ci-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci-build.sh b/.ci-build.sh
index 8e9fa7cb..00d33e7b 100755
--- a/.ci-build.sh
+++ b/.ci-build.sh
@@ -46,7 +46,7 @@ if [[ "${GROUP}" == downstream* && "${SLUGOWNER}" == "opprop" ]]; then
     clone_downstream () {
         DOWNSTREAM_PROJ="$(pwd -P)/../$1"
         echo "clone downstream to: ${DOWNSTREAM_PROJ}"
-        COMMAND="/tmp/git-scripts/git-clone-related opprop $1 ${DOWNSTREAM_PROJ}"
+        COMMAND="git clone --depth 1 -q -b $2 https://github.com/opprop/$1.git ${DOWNSTREAM_PROJ}"
         echo "Running: ($COMMAND)"
         (eval $COMMAND)
         echo "... done: ($COMMAND)"