From 73b8426a4ee30df44eccc316e3e5b0388a2ea249 Mon Sep 17 00:00:00 2001 From: Ed Merks Date: Sat, 2 Apr 2022 11:18:44 +0200 Subject: [PATCH] Migrate PDE.setup to use github URIs for eclipse.pde.ui (#5) https://github.com/eclipse-pde/eclipse.pde.ui/issues/4 --- releng/org.eclipse.pde.ui.setup/PDE.setup | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) diff --git a/releng/org.eclipse.pde.ui.setup/PDE.setup b/releng/org.eclipse.pde.ui.setup/PDE.setup index 5388e3a9e4..c230b48997 100644 --- a/releng/org.eclipse.pde.ui.setup/PDE.setup +++ b/releng/org.eclipse.pde.ui.setup/PDE.setup @@ -140,29 +140,23 @@ label="UI"> + id="github.clone.pde.ui" + remoteURI="eclipse-pde/eclipse.pde.ui"> - eclipse.git.gerrit.remoteURIs + github.remoteURIs - PDE UI Git or Gerrit Repository + PDE UI Github Repository remoteURI - - - PDE Core + rootFolder="${github.clone.pde.ui.location}"/> Set an Oomph redirection system property to redirect the logical location of this setup to its physical location in the Git clone.