From 5bbc612621e98b83f2e8a0406840421fd875eeb4 Mon Sep 17 00:00:00 2001 From: Michael Bestas Date: Fri, 20 Dec 2024 00:07:51 +0200 Subject: [PATCH] fixup! build: Add `privateremote` helper Change-Id: I09c52df9e9dc7c5a825e641d6299581432591920 --- build/envsetup.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/build/envsetup.sh b/build/envsetup.sh index 86315a95..f1d44b2e 100644 --- a/build/envsetup.sh +++ b/build/envsetup.sh @@ -330,9 +330,7 @@ function privateremote() return 1 fi git remote rm private 2> /dev/null - local REMOTE=$(git config --get remote.github.projectname) - - local PROJECT=$(echo $REMOTE | sed -e "s#https://github.com/##g") + local PROJECT=$(git config --get remote.github.projectname) git remote add private git@github.com:$PROJECT.git echo "Remote 'private' created"