From c41fed323a40238cc6dbcf7c61735348d1ef8b4e Mon Sep 17 00:00:00 2001 From: Nikita Iarychenko Date: Thu, 10 Apr 2025 16:46:25 +0400 Subject: [PATCH] fix android repository urls (cherry picked from commit 45ada2f8fb362df2f922986bc25c9fcc0bf23fd3) (cherry picked from commit d45168a439eef4ed914130c7c09b072571c653c0) (cherry picked from commit 1c088fca70e321ab42d1a69e3d144b9d7cd7508c) --- getPlugins.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/getPlugins.sh b/getPlugins.sh index 8e9f9297bf87..f79d7c119b0c 100755 --- a/getPlugins.sh +++ b/getPlugins.sh @@ -1,7 +1,7 @@ #!/bin/bash if [ "$1" == "--shallow" ]; then - git clone https://git.haulmont.com/platform/open-ide/android.git android --depth 1 + git clone https://gitflic.ru/project/openide/android.git android --depth 1 else - git clone https://git.haulmont.com/platform/open-ide/android.git android + git clone https://gitflic.ru/project/openide/android.git android fi