From 5a5070c0829c8cb1906492abd2c5376b2ebea488 Mon Sep 17 00:00:00 2001 From: Vincent Gao Date: Thu, 12 Sep 2024 10:11:00 +1000 Subject: [PATCH] try the test patch --- dev-tools.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-tools.sh b/dev-tools.sh index d7573df..fb549cc 100755 --- a/dev-tools.sh +++ b/dev-tools.sh @@ -33,6 +33,6 @@ # stable version. # # Uncomment and set the Dev-Tools's commit value and commit this change. -# export GH_COMMIT=COMMIT_SHA +export GH_COMMIT=47a990c11d127628bb099e488bc093251a378834 bash <(curl -L https://raw.githubusercontent.com/dpc-sdp/dev-tools/master/install?"$(date +%s)") "$@"