From f2a37ce80162beaee3716018e26ab955ea02d036 Mon Sep 17 00:00:00 2001
From: qwerty287 <80460567+qwerty287@users.noreply.github.com>
Date: Mon, 31 Oct 2022 17:06:21 +0100
Subject: [PATCH] Fix redirects (#1325)

Not a very elegant solution, but it should work.

Co-authored-by: 6543 <6543@obermui.de>
---
 web/src/router.ts | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/web/src/router.ts b/web/src/router.ts
index 7afa4e36e..e4fc7b414 100644
--- a/web/src/router.ts
+++ b/web/src/router.ts
@@ -112,6 +112,20 @@ const routes: RouteRecordRaw[] = [
       {
         path: 'build/:pipelineId',
         redirect: (route) => ({ name: 'repo-pipeline', params: route.params }),
+        children: [
+          {
+            path: ':procId?',
+            redirect: (route) => ({ name: 'repo-pipeline', params: route.params }),
+          },
+          {
+            path: 'changed-files',
+            redirect: (route) => ({ name: 'repo-pipeline-changed-files', params: route.params }),
+          },
+          {
+            path: 'config',
+            redirect: (route) => ({ name: 'repo-pipeline-config', params: route.params }),
+          },
+        ],
       },
     ],
   },