From e9b41f1428636d24d209fba45ed5274491aee3d7 Mon Sep 17 00:00:00 2001
From: Johan Liebert <donjohanliebert@gmail.com>
Date: Wed, 6 Nov 2024 11:08:46 +0800
Subject: [PATCH] ci: add support for git.mainlining cloning

Signed-off-by: donjohanliebert <donjohanliebert@gmail.com>
---
 clone.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/clone.sh b/clone.sh
index cce12a4..6420b49 100644
--- a/clone.sh
+++ b/clone.sh
@@ -32,6 +32,9 @@ function get_remote_url {
     codeberg)
       echo "https://codeberg.org/$repo.git"
       ;;
+    git.mainlining)
+      echo "https://git.mainlining.org/$repo.git"
+      ;;
     *)
       echo "https://github.com/$repo.git"
       ;;