From 7479ae6cf0df435f5faf90b7f9ba3d1064647a41 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) (cherry picked from commit f0c8e914a82d999436466191f599cdc94de4fe1b) --- 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