update repository names in download.rs

Update according to recent repository name changes fixes #1142
Morganamilo · Mar 10, 2024 · 880eb08 · 880eb08
1 parent 434b16e
commit 880eb08
Showing 1 changed file with 18 additions and 2 deletions.
diff --git a/src/download.rs b/src/download.rs
@@ -461,7 +461,15 @@ fn split_repo_aur_pkgbuilds<'a, T: AsTarg>(
  } else if let Some(repo) = targ.repo {
  if matches!(
  repo,
- "testing" | "community-testing" | "core" | "extra" | "community" | "multilib"
+ "testing"
+ | "community-testing"
+ | "core"
+ | "extra"
+ | "community"
+ | "multilib"
+ | "core-testing"
+ | "extra-testing"
+ | "multilib-testing"
  ) {
  local.push(targ);
  } else {
@@ -470,7 +478,15 @@ fn split_repo_aur_pkgbuilds<'a, T: AsTarg>(
  } else if let Ok(pkg) = db.pkg(targ.pkg) {
  if matches!(
  pkg.db().unwrap().name(),
- "testing" | "community-testing" | "core" | "extra" | "community" | "multilib"
+ "testing"
+ | "community-testing"
+ | "core"
+ | "extra"
+ | "community"
+ | "multilib"
+ | "core-testing"
+ | "extra-testing"
+ | "multilib-testing"
  ) {
  local.push(targ);
  } else {