🧭 add mirrors to default_repos.xml

libs/database/src/main/java/org/fdroid/database/Repository.kt

@@ -375,9 +375,10 @@ internal data class RepositoryPreferences(
 /**
  * A reduced version of [Repository] used to pre-populate the [FDroidDatabase].
  */
-public data class InitialRepository(
+public data class InitialRepository @JvmOverloads constructor(
     val name: String,
     val address: String,
+    val mirrors: List<String> = emptyList(),
     val description: String,
     val certificate: String,
     val version: Long,

libs/database/src/main/java/org/fdroid/database/RepositoryDao.kt

@@ -140,6 +140,7 @@ internal interface RepositoryDaoInt : RepositoryDao {
             enabled = initialRepo.enabled,
         )
         insert(repositoryPreferences)
+        insertMirrors(initialRepo.mirrors.map { it -> Mirror(repoId, it, null) })
         return repoId
     }