From 54d2d927ac9c3ee290d44405a3028307459a49fb Mon Sep 17 00:00:00 2001 From: Dean Deng Date: Fri, 23 Oct 2020 19:24:51 -0700 Subject: Direct gvisor.dev/issues to the same place as gvisor.dev/issue. Also let the Github bug reviver detect both in TODOs. PiperOrigin-RevId: 338785089 --- website/cmd/server/main.go | 2 ++ 1 file changed, 2 insertions(+) (limited to 'website/cmd/server/main.go') diff --git a/website/cmd/server/main.go b/website/cmd/server/main.go index c401b6abd..85fcbb351 100644 --- a/website/cmd/server/main.go +++ b/website/cmd/server/main.go @@ -29,6 +29,7 @@ var redirects = map[string]string{ // GitHub redirects. "/change": "https://github.com/google/gvisor", "/issue": "https://github.com/google/gvisor/issues", + "/issues": "https://github.com/google/gvisor/issues", "/issue/new": "https://github.com/google/gvisor/issues/new", "/pr": "https://github.com/google/gvisor/pulls", @@ -60,6 +61,7 @@ var redirects = map[string]string{ var prefixHelpers = map[string]string{ "change": "https://github.com/google/gvisor/commit/%s", "issue": "https://github.com/google/gvisor/issues/%s", + "issues": "https://github.com/google/gvisor/issues/%s", "pr": "https://github.com/google/gvisor/pull/%s", // Redirects to compatibility docs. -- cgit v1.2.3