ci: add support for git.mainlining cloning

Signed-off-by: donjohanliebert <[email protected]>
RisingOSS-devices · Nov 6, 2024 · e9b41f1 · e9b41f1
1 parent 77cd65d
commit e9b41f1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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"
       ;;