From a422f3f2c99aa143d4cd37075955b94591be3125 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Thu, 23 Nov 2023 21:27:46 +1100 Subject: [PATCH] chore: script/most-recent-nightly-tag uses https rather than ssh repo URL (#2951) The https URL suffices, and does not require that the caller has an appropriate ssh key. --- script/most-recent-nightly-tag.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/most-recent-nightly-tag.sh b/script/most-recent-nightly-tag.sh index c96018955d..173981fd49 100755 --- a/script/most-recent-nightly-tag.sh +++ b/script/most-recent-nightly-tag.sh @@ -4,7 +4,7 @@ tag_prefix="nightly-" # Fetch all tags from the remote repository -git fetch git@github.com:leanprover/lean4-nightly.git --tags > /dev/null +git fetch https://github.com/leanprover/lean4-nightly.git --tags > /dev/null # Get the most recent commit that has a matching tag tag_name=$(git tag --merged HEAD --list "${tag_prefix}*" | sort -rV | head -n 1 | sed "s/^$tag_prefix//")