Update docs link in user menu

gtsiolis · pull[bot] · commit 4dd2ffbda3a0 · 2023-09-20T08:04:08.000Z
diff --git a/components/dashboard/src/Menu.tsx b/components/dashboard/src/Menu.tsx
@@ -451,11 +451,11 @@ export default function Menu() {
                                     },
                                     {
                                         title: "Docs",
-                                        link: "https://www.gitpod.io/docs/",
+                                        href: "https://www.gitpod.io/docs/",
                                     },
                                     {
                                         title: "Help",
-                                        href: "https://www.gitpod.io/support",
+                                        href: "https://www.gitpod.io/support/",
                                         separator: true,
                                     },
                                     {

Original file line number	Diff line number	Diff line change
`@@ -451,11 +451,11 @@ export default function Menu() {`
`451`	`451`	`},`
`452`	`452`	`{`
`453`	`453`	`title: "Docs",`
`454`		`- link: "https://www.gitpod.io/docs/",`
	`454`	`+ href: "https://www.gitpod.io/docs/",`
`455`	`455`	`},`
`456`	`456`	`{`
`457`	`457`	`title: "Help",`
`458`		`- href: "https://www.gitpod.io/support",`
	`458`	`+ href: "https://www.gitpod.io/support/",`
`459`	`459`	`separator: true,`
`460`	`460`	`},`
`461`	`461`	`{`