From 316fac4d5f7916321aa27c5df333932aa4e2c02a Mon Sep 17 00:00:00 2001
From: Ed Merks <ed.merks@gmail.com>
Date: Sat, 16 Mar 2024 14:19:47 +0100
Subject: [PATCH] Redirect project downloads project portal downloads tab

https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/4418
---
 downloads/index.php | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/downloads/index.php b/downloads/index.php
index fbe20f5..a9e7ce6 100644
--- a/downloads/index.php
+++ b/downloads/index.php
@@ -1,4 +1,16 @@
 <?php
+if (isset($_GET["project"])) {
+  if ($_GET["project"] == "atl") {
+    header("Location: https://projects.eclipse.org/projects/modeling.mmt.atl/downloads");
+    die();
+  } else if ($_GET["project"] == "qvtd") {
+    header("Location: https://projects.eclipse.org/projects/modeling.mmt.qvtd/downloads");
+    die();
+  } else if ($_GET["project"] == "qvto") {
+    header("Location: https://projects.eclipse.org/projects/modeling.mmt.qvt-oml/downloads");
+    die();
+  }
+}
 require_once ($_SERVER['DOCUMENT_ROOT'] . "/modeling/includes/buildServer-common.php");
 require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php"); require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php");  require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); $App = new App(); $Nav = new Nav(); $Menu = new Menu(); include($App->getProjectCommon());