commit e6f6e0d3ae63cc1dd2ed8e55926787b3a415c433
author Ed Merks <ed.merks@gmail.com> Mon Apr 11 17:04:38 2022 +0200
committer Ed Merks <ed.merks@gmail.com> Mon Apr 11 17:04:38 2022 +0200
tree 60c434fcf56ab2212041f99d5d077f3a360f65c1
parent 2472b92d3e717091a13250138273ec70032ecd20

[Releng] Migrate platformUI.setup to use github URIs

setups/interim/Platform.setup

diff --git a/setups/interim/Platform.setup b/setups/interim/Platform.setup
index c84a297..253ec25 100644
--- a/setups/interim/Platform.setup
+++ b/setups/interim/Platform.setup
@@ -801,7 +801,7 @@
   <project href="https://raw.githubusercontent.com/eclipse-platform/eclipse.platform.team/master/bundles/org.eclipse.team.releng/platformTeam.setup#/"/>
   <project href="https://raw.githubusercontent.com/eclipse-platform/eclipse.platform.text/master/org.eclipse.text.releng/platformText.setup#/"/>
   <project href="https://raw.githubusercontent.com/eclipse-platform/eclipse.platform.ua/master/org.eclipse.ua.releng/platformUa.setup#/"/>
-  <project href="https://git.eclipse.org/c/platform/eclipse.platform.ui.git/plain/releng/org.eclipse.ui.releng/platformUi.setup#/"/>
+  <project href="https://raw.githubusercontent.com/eclipse-platform/eclipse.platform.ui/master/releng/org.eclipse.ui.releng/platformUi.setup#/"/>
   <project name="ui.tools"
       label="UI Tools">
     <setupTask